Better with-handlers support in TR

Checks consistency between predicates and handlers in `with-handlers` clauses.
Because this case will error and won't run (handler has the wrong arity, for example).