Worked on the more advanced verification result caching (ignore comments for computing statement checksums).
Worked on the more advanced verification result caching.