{Circuits or methods to detect overprogrammed nonvolatile memory cells, usually during program verification}