Rename typechecker parameter related to whether or not we produce diagnostics.

Comment what the flag means.