Combinatorial generation via permutation languages. II. Lattice congruences