[asan] More buffering in report printing.