-
David Lawrence authored
level_count was decremented below zero because the found node had not been put in the level history before the callback broke out of the search. Added a bunch of INSISTS()s to try to catch something like that in the future.
acab2c80