Updated ProofTest

Included rigorous tests to check:

show, assume, repeat, print, mt, mp, ic, co, and TheoremName input.

Ctrl-F to find each test categorized by /* ____ TEST */