After an insertion, all nodes have a correct height