Replace tc-error/expr with tc-error/delayed where appropriate.
Make tc-error/expr return (ret -Bottom).
Make TR work with contracts enabled.
Add test cases for fixed PRs.

Closes PR 13191.
Closes PR 13290.