— Function: assert z

Run-time invariant check. If z is false, throw an exception and halt the simulator, who is expected to produce some diagnostic message.