Function check_for_bad_code

Check if the block is "bad". Bad typically means that the instructions don't appear to be legitimate code, but there could be other reasons for excluding a block from analysis. These decisions should really be made in the Partitioner in the general case, but there are circumstances where this code may be better prepared to make that decision than the parititoner. In particular, the partitioner i