Add more logging to investigate bogus data-race reports