ルールブックだとリーダーカードを除いた状態でシャッフルする
としか書いてないよなあ。
トーナメントガイドラインには当然載ってないし。

あと、「シャッフルしない」というのは、シャッフル前とシャッフル後を
同じ状態に保つようなシャッフルをしたとみなすこともできるんじゃないか？
屁理屈に近いが。