Change broken asynchronous synchronization to use an a recursive mutex for sim_asynch_lock