Proof checker now passes all tests.