Did some refactoring, fixed minor issues, and made it apply the more advanced verification result caching even for implementations with errors.