Add Digraph.HasArc().

Slippery slope here, would be nice to not explode with yet more methods
Split MutableGraphSuite into per-interface parts.