Function assertReachable

Refuses a rollback past what the platform still holds.

The version id may be perfectly real and still be unreachable, so this is checked against the list rather than against the id's shape.