Validate that an expression is true.
This is a tool to check for fatal runtime errors where recovery is not possible. If the expression evaluates to zero (FALSE), code will not proceed past this check.