Added Iterave Deepening traverser
Made the Solver use IterativeDeepening