This pass attempts to lift allocations and asserts as far towards the top in their body as possible. This helps memory short circuiting do a better job, as it is sensitive to statement ordering. It does not try to hoist allocations outside across body boundaries.