tsan: serialize report printing in standalone deadlock detector
otherwise reports get intermixed