Create TheoremSetTest.java

Comprehensive test suite for TheoremTest.java