The hand cards are shuffled after the end of draw_phase in order to make
these cards non-distinguishable.
This is equivalent to changing the oder of hand cards in a real card game.