Implemented a basic unit test suite for ProofRecorder (incomplete).