Updated the environment API to support lazy and egraph planners. Added a LazyARA* planner.