Fixed issue in verification result caching.
Optimized the way that assertions are marked as partially verified.