A number of optimizations to the prover.