is_separator function

Check whether removing this set of vertices would disconnect the graph.