Split off from #27741 because the stabilization path for step_by has moved to being on iterators (#41439), and thus not using the Step trait.

• Remove step, steps_between, and is_negative once Range::step_by is deleted
• Replace replace_zero and replace_one with something more useful (some options: Make RangeInclusive just a two-field struct (amend 1192) rfcs#1980 (comment))
• Change steps_between_by_one so that Range<u128> can be TrustedLen (rather than it only working well with types that fit in usize)
• Make a decision on how steps_between should work Step::steps_between does not distinguish overflow and unimplemented (unstable) #48117

(and probably more)