Moved ProofChecker to proof package