Document another TR optimizer bug found via random testing.
Fix comment.
Document surprising control flow.
Fix interaction between early exits, filters and the optimizer.

Closes PR14828.