Remove trivial allocs

This PR gets rid of the dead allocations that can sometimes be created during the specialize_branched_loops pass. 
Clarify that this never touches Realize or Call nodes, so it should be done after storage flattening.