Fixed a bug that caused the prover to claim it proved things that it had not.  Fixed a number of random bugs.