Allocation necessity detection is broken

[markehammons]

Allocation detection is used to determine if an allocator should be summoned for the binding we want to generate. This detection is currently badly broken, summoning allocators when they are unneeded, and failing to summon allocators for code that cannot work without them.