Finished proof for split_insert_normal.
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees
Updated ValidBPlusTree to work with the new node-structure.
Updated proofs so they work with the new BPlusTree, and updated the assumptions of the split_leaf_cons proofs.