We don't have to restart the search from the top of the tree after a
page splits; we're holding a hazard pointer on the page's parent and
we can simply restart the search in that page.  This won't make things
any faster, I don't think, but the code makes more sense this way.