Derandomize greedy_color doctest