Renamed "apply" to "assumption", and then renamed "applyWith" to "apply"
Better organization of ProofRecorder tests.  Moving toward combinatorial style testing.
Added combo test utility code
Converted tests to combo tests