This is a brute force "meet in the middle" progress-based Redi cube solver, working from both the unsolved-cube-state and the solved-cube-state. BETA