Converted to a unittest. Added checks that the bounded semaphore actually

does what it's supposed to do.