Enable waterfall parallelism for an enclosed event
Example usage:
(with-waterfall-parallelism (defthm assoc-append (equal (append x (append y z)) (append (append x y) z))))
