Minor optimisation, moving hash table check out of instruction loop. Also added extra double check to make sure blocks with indirect CALLs and JMPs don't clobber some of the basic block state.