errors: print diag messages immediately
errors: print diag messages immediately

These are really meant to be debug messages and should be interleaved
with printN calls.

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar