unit test for Semaphore

The same as with the negative acquire (so drop the expected part).