Unitary designs from statistical mechanics in random quantum circuits.