"debug mode"

removed the try/catch in proofchecker so it would print out stack traces
for errors in theorem handling - working on theorems now.

Also commented out parts of Expression checkValid that were breaking
theorems.