SERVER-14850 Remove the mutex debugger and associated undefined behavior