irinterp: Fix extra_reprocess with loops and add control hook (#48199)
Fixes a bug where the extra_reprocess argument was ignored once
we switched to the looping code and also adds a hook to allow
external absint that may have control-dependent lattice elements
to enqueue additional statements to revisit during irinterp.