Finished the proof for insert_leaf_preserves_min_fan_out - recent changes must have broken something in it.