More reliable test for asynchronous aborts in semaphore operations