Fix docs for text-based TR optimization logging.

Closes PR13493.
Allow cast in typed/racket/no-check.