A little more work on the new valid-splits attempt at proving things about the keys of the overflow node.
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees