for-loops: extend back-edge liveness; fix env restore for shadowed vars

Anthony Green2026-05-30 07:18:38 -0400 ab0c4b077df643a47bf9cbc8ac2b50a647df5f31