Propagate the liveness to the blocks in each loop

[titzer]

This one will also need the aeneas bump; the two PRs will have to be sequenced, too.