Towards Automated Discovery of God-Like Folk Algorithms for Rubik's Cube