Repaired OptimalColouring so it has a faster special case for bipartite
graphs again. Bug was deletion of vertices from the graphs vertex set,
as SimpleGraph had a shallower clone function than believed.