Add load time validation of jumps not exiting FINALLY blocks