SE-0512: Document that Mutex.withLockIfAvailable(_:) cannot spuriously fail

SE-0512 has been accepted. I'd like thank everyone who participated in this thread for their thoughtful contributions.

John McCall
Review Manager