Update ProofTest

Commented out the last test (it is obviously not finished). 
Fixed some static type errors. 
Fixed the JUnit class header.