Similar to assert, but with a message and not possible to exclude from
compilation. This is better for checking outputs, for example.