- Does not invalidate graph properties anymore if nothing changed
- Only produce Bad/Jmp Tuple predecessors for possible throwing
  Load/Store nodes
- Improve check_load_store() logic slightly and rename to
  is_conv_bitcast()