Consider deferring binding backedge insertion until first image invalidation

[Keno]

As a follow-up to #57433, it should be possible to keep a list of modules that haven't been processed yet and defer insertion of backedges until the first invalidation in an image module. That said, I benchmarked this briefly by just turning off the backedge insertion entirely, and the gains were in the noise. This issue is a reminder to benchmark this more carefully and possibly implement it, but I'm not planning to do so in the immediate future.