Add WaitFreeCountingSemaphore

Merge request reports