As of #24, the frame construction is reduced to a single stronglyReachableByQuorum operation and the reprocessing of roots can no longer happen. This means that the necessity of caching the strongly reach operation is greatly reduced, and is in turn slowing down the new incremental algorithm.
