(find_and_verify_loops): When moving blocks of code, verify that the just destination is not in an inner nested loop.

(find_and_verify_loops): When moving blocks of code, verify that the
just destination is not in an inner nested loop.
(mark_loop_jump): Don't mark label as loop exit if it jumps to an
inner nested loop.

From-SVN: r10164