Added a verify() method to Steps to ensure the A* solution is in fact correct