Make "rev-tree.c" use the new-and-improved "mark_reachable()"