ProofTest Update

Added extensive tests to check proofs.