Revert some verbosity in run_tsc