Solution (source code)

= Solution

One shuffle removes the ordered top $k$ cards and inserts them, in a uniformly random person-order, into successively chosen uniform slots. The transition rule depends on a deck only through relabeling of its cards, so its transition matrix on the <symmetric group> is doubly stochastic. Hence the uniform distribution on all $n!$ permutations is invariant.