Add concrete note on the scalability limitations of the precise leak detector
Refactoring and test cleanup

This removes the tests that relied on implementation details for verifying behaviour.
The BleazePool allocation thread now owns its dead-queue, in preperation for future changes.
Also introduces the non-public UnsafeUtil class, so that sort of thing is collected in one place.