Mostly formatting changes.
A few significant optimizations to the prover.