[TSan] Replace several Printf() calls with Report() to ease debugging.