Micro-benchmark to stress the page allocator
