[graph-tool] Efficient mass removal of vertices possible?