Add some checking to maintain sane Mutex rank values.

1. Values can only be subtracted from the enum class rank names
2. Range arithmetic doesn't cause overlap from one range enum value to another
3. Support printing range names and values (rather than numbers in the assert message).