Squash SingleTheoryApprovalsRuleTest and MultipleTheoryApprovalsRuleTest into TheoryApprovalsRuleTest and update README.md