Implement sAssertCont

This is a variant of sAssert where the results can be programmatically
“displayed” by the consumer. sAssert is still provided for cases when
the default printing of SBV is acceptable.