This review does several related things:
- Modifies the Mutex type to have one Identity object per invocation context
- Adds a latchAnalysis field to serverStatus
- Officially turns on CI-only failure for acq level violations
- Changes a few acq level declarations to be more permissive