Optimal-order mixing of the Thorp shuffle

We prove that the Thorp shuffle on $2^d$ cards mixes in $\Theta (d)$ complete shuffles. The full permutation law after $1600d$ shuffles converges to uniform in total variation as $d\to \infty$, uniformly over the initial deck, while a support count gives a lower bound of $2d-O(1)$.