gap orphans improvement : ignore greatest existing ancestors

The gap orphan mode introduced with OAK-10743 starts its gap test at root - while it could easily skip the first few elements that it knows do exist (as so determined by the original state traversal).