regression tests for TR speed tweak

These functions used to take an inordinate amount of time to type check
- now they check in < 3 seconds on my machine. These tests ensure
future changes don’t revert their speed back to previous levels (by
conservatively verifying they both typecheck in < 30 seconds)