Move allocation statements upwards in the bodies of a program to enable more memory block coalescings.

This should be run *before* the coalescing pass, as it enables more optimisations.