HomeIsabelle/Phabricator

Remove CacheCheck that was added for debugging and is no longer needed.