Completely proved the 'insert happened in the normal child' case of 'overflow didn't fit on this level' for nodes in insert'_impl_appears.
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees