Add an is_locked check and mv _release -> _destroy

Less tersely, I removed pthread_mutex_release (which I made up) in favor
of pthread_mutex_destroy, which I had not realized existed before. My
bad.