Minor change in verification result caching (extracted functions)
Worked on more native support for partially-verified assertions.