fixup! WIP: replace loop controls with a bound type and max_iterations count.
fixup! WIP: move some analysis for loop_controls to loop_analysis.