some progress on the heuristic search
Fixed bug in Validator and potentially finished heuristic search