Reduce agent context by caching verification for already proven code.
Reduce agent context by skipping proven code with contracts and verification cache.
