Evaluates expression x and throws an AssertionError with optional message if x does not evaluate to logical true. Assertion checks are omitted from compiled code if '*assert*' is false.