Revert r77732 and add back verify and vereq in case other projects use them, but leave the changes in test_pprint and string_tests.
Revert r77732 and add back verify and vereq in case other projects use them, but leave the changes in test_pprint and string_tests.

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator