Update dominator code with fixes from the dom-lt package.
The dominator analysis in GHC uses the same code as the dom-lt package.
Bugs were fixed in that package, this MR ports over the fixes.
The dominator analysis in GHC uses the same code as the dom-lt package.
Bugs were fixed in that package, this MR ports over the fixes.