restructured the navmap handling. more heuristics added. Not lazy.
can compute stats now.
added num_evaluated to stats.