Better with-handlers support in TR

Checks consistency between predicates and handlers in `with-handlers` clauses.
I think there's a maybe-overly-strong assumption that the `check-below` call right above this will always error. Either add something that ensures that, or make this return something else.