randomize colors
randomize()
is able to to randomize state numbers and edge numbers.
It would be convenient to extend it to support randomization of colors, this could be used to benchmark some algorithms (e.g., detection of parity typeness, automaton isomorphism once we teach it to work with colors, etc.)