Policy-Guided Heuristic Search with Guarantees