Replace broken PB merge algorithm with a better version
Don't ever classify allocas as invariant, and annotate mallocs appropriately
Note store->load deps even when initially ignoring them due to no information
Don't create successor blocks during invariant exploration, and fix the DOT printer to show multi-loop exits properly