No, I don't think it is true that both parties necessarily wind up with more accurate estimates after updating and agreeing, or even an estimate closer to what they would have obtained by sharing all their data.

That greatly diminishes the value of the theorem, and implies that it fails to justify blaming dishonesty and irrationality for the prevalance of persistent disagreements.