Caching and Performance Improvements

Major updates to our ability to cache and statically analyze certain virtual instances