Made it collect some statistics about the more advanced verification result caching.