The various updates of "counts()" in platform/mutex.cpp use fetchAndAdd, which I believe uses the default sequential memory ordering. These can use fetchAndAddRelaxed.

Additionally the state.isFinalized check can use acquire/release semantics rather than sequential, though I think our AtomicWord class doesn't support that