Adds the given edge and updates the internal topological order for consistency IFF
the given edge is not already a member of the graph
there is not already an edge (fromVertex, toVertex) in the graph
the edge does not induce a cycle in the graph