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