Impose Monoid structure on assertions, print percentage passed.
Limit precision on "percentage passed" message