Update ProofTest.java

Added the better tests I made for Proof; I will finish up what I have for the other classes as well.