Basic block flushing using breadth-first-search
Jump threading / fallthroughs in basic blocks
Jump threading test
Don't v_save() the call value pre-call