[NFCI][SimplifyCFG] Don't form DTU updates if we aren't going to apply them

I think we may want to have a thin wrapper over a vector to deduplicate
those `if(DTU)` predicates, and instead do them in the `insert()` itself.