Revert "Replace Execution Engine's mutex with std::recursive_mutex."