Split TheoryApprovalsRule output by theory so that it isn't as sensitive to adding tests.
See how things work with junit-quickcheck - not bad, but need to stabilize random inputs