Remedies: 1. A judge may instruct a player to rerandomize their deck. 2. A judge may randomize the player’s deck for them.
§ 703.7.c Tournament Rules PDF (officieel)
§ 703 Tournament Errors
§ 703.7 Insufficient Randomization [Warning]: A player did not sufficiently randomize their deck when required to.