Did some refactoring.
Merge
Worked on the verification result caching.
Worked on the verification result caching.
Worked on the verification result caching.