Make opt_if_loop_last_continue() more aggressive

First patch is a bug fix, the second patch removes initial restrictions placed on the opt.

Originally I restricted the pass to avoid regressions, that no longer seems to be needed.