Fixing use of mutex() to avoid subtle bug#798

swernli merged 3 commits intomainmicrosoft/qsharp-runtime:mainfrom

swernli/mutex-fixmicrosoft/qsharp-runtime:swernli/mutex-fixCopy head branch name to clipboard