Assertion combinators for the Test monad.