Resolve race by ensuring allocator thread always has a reasonable opportunity to shutdown.
Translate conventional unit tests to theories in PoolTest
Add test for quick allocator (runs and passes).