Add invariant check for BTree. Update Test cases to check if all BTree properties hold after insertion/deletion