Add -fprint-typechecker-elaboration flag (fixes #10662)