Ensure-warning evaluates its body. If the body does not signal a
warning, then ensure-warning will generate a test failure.