implement enumeration of permutations in linear time. This hopefully speeds up all solvers.
CU_323 solver: new tablebase level8