setting up large scale (benchmarking) tests for proofs so we can see how
it works out on Galen and the like