[libc++] Use algorithm policies in segmented iterator optimizations

[ldionne]

I think we should be using the AlgPolicy here to extract the difference type. That looks like a bug to me. That actually seems to be the case for all of the segmented iterator optimizations.

Originally posted by @ldionne in #161661 (comment)