The original code was doing nested fixpoint iterations, each fixpoint
iteration starting at bottom.  This results in a number of iterations
exponential in the nesting of loops.

Here, we just remember the result of the previous iterations and
restart iteration from there.

This is the same trick as in the new dataflow analyzer from ocaml#10404.
It relies crucially on the uniqueness of catch handler labels within a
function.