Fixing concurrency bug.
Awesome possum refactoring of ground handling (Terra).
Making StratifiedForwardTests nicer in preparation for backward prover.