Circuits or methods to recover overerased nonvolatile memory cells detected during erase verification, usually by means of a "soft" programming step