Progress with TablebasesPruning
PruningTables now support numBits=20,24.Progress with TablebasesPruning.