coverage: Synchronize per-thread counters less aggressively