Investigate stack requirements for our alloc pattern

[mullr]

There's some anecdotal evidence that our type-safe allocator pattern chews up a lot of stack. I believe that the optimizer mitigates this. Do some experiments to find out what's really going on.