Fixing typo in cut implementation.
Fixes issue #241.
Removing long-standing assv hack.

Fixes issue #242.
Adding sexp_apply_no_err_handler utility and using in simplifier.