Add linearizability tests for Mutex and Semaphore and fix them#1898

Merged

elizarov merged 13 commits intodevelopfrom

semaphore-and-mutex-linearizability-test

Apr 23, 2020

Commits on Apr 14, 2020

Commits on Apr 15, 2020

Reuse continuations in `addToQueueAndSuspend` properly
ndkoval
committed

Commits on Apr 17, 2020

~ Remove duplicated line
elizarov
committed

Commits on Apr 22, 2020

Commits on Apr 23, 2020