Add a statistic to track the maximum depth of the tree, as measured by the
deepest we ever search.