Make `check` work like `assert`

[propensive]

Currently, the check macro does not examine the predicate like the assert method does, so there is no useful debug information when a test fails.