Benchmarking and The Rubik’s Cube Through a Lean Lens