Circuits or methods to verify correct programming of nonvolatile memory cells