Proved insert_leaf_preserves_sort.