ssa: use Ferrante's algorithm for computing dominance frontier
ssa: use Ferrante's algorithm for computing dominance frontier

While its performance impact doesn't seem measurable, it still is an
easier to understand algorithm.

dominikh/go-tools,dominikh/go-tools,dominikh/go-tools,dominikh/go-tools