After do_mutex_lock(mutex), the mutex should be owned by the current
thread. Adding an assertion for this assumption.