assert-bang-tests

(local (progn (assert! (equal 3 3) (defun assert-test1 (x) x))
    (value-triple (or (equal (assert-test1 3) 3)
        (er hard
          'top-level
          "Failed to evaluate (assert-test1 3) to 3.")))))

(local (progn (must-fail (assert! (equal 3 4) (defun assert-test2 (x) x)))
    (defun assert-test2 (x) (cons x x))))

(local (must-fail (assert! (equal (append '(a b c) '(d e f)) '(a b)))))