Now the degree sequence is verified with Erdös-Gallai inequalities, and
the edges are connected in a deterministic fashion. The edges then are
rewired with the random_rewire() function.