Clarify semantics of the isomorphism that defines the DegreeSortedGraph

This semantic clarity lead to the fix for the real bug which is that now the
algorithm actually works.
Speed up GraphColor by starting with the highest-degree nodes first
Improve debut info and only run an assert when it's relevant