Add assert and failure statements

[phlegmaticprogrammer]

The syntax of the statements would be

assert <expr>

and

failure <expr>

The semantics of assert <expr> is pretty much that of if not <expr> then fail. The semantics of failure <expr> is that if the evaluation of fails, then the statement has no effect, otherwise it fails.

The two statements will make it convenient to write tests.