Jing: a TablebasePruning-based solver finished and working.
TablebasesPruning seems to be working now, at least with Cube2.
Progress with TablebasesPruning
Minor.