Remove two unimplemented functions from the Dominance API

The type signatures didn't even make sense and I'm not sure
what was going on there.
New code for computing dominators/postdominators

The old algorithm had trouble with unreachable code.  The new
one just uses fgl.