Checks given IAssertions and reports if one of them fails.