cleanup/exclusive-ranges

[naure]

• Switch to half-open / usual range for platform addresses.
• Expose the Range type (#621).
• Introduce methods iter_addresses which is not the same as Range::iter.

(This became easy to fix after recent changes and useful for upcoming changes.)

[naure]

Thanks! This needs a second approval with write permissions though. @kunxian-xia

[naure]

Thanks for checking!

Nice catch of forbid_overflow. I removed this check because it is already at the place that needs it (store circuit).