Allow combining propositions with binary operators, and rework test result reporting

[byorgey]

Propositions can now be combined with operators like /\, \/, and ->. Test result reporting for such propositions reports a tree of reasons explaining whether each part is {possibly, certainly} {true, false}.