Information about LockBasedStorageManager instances added to assertions
Invalidate ResolveElementCache on exceptions from storage manager
Unneeded public parameters made private
StorageManager&ExceptionTracker delivered where needed

- GlobalContext introduced to group the two
- Caches track exceptions
Invalidate per-file cache on exceptions