Fix last iteration in sequential opcode

[AurelienFT]

Fixes #2022

Previously the read and write of the last key of the contract state was creating error because of multiple bad checks of limits. Also the key was increase in all case at the end of the loop causing the increase() to fail on overflow even if there is values to be inserted left.

Checklist

• Breaking changes are clearly marked as such in the PR description and changelog
• New behavior is reflected in tests
• The specification matches the implemented behavior (link update PR if changes are needed)

Before requesting review

• I have reviewed the code myself
• I have created follow-up issues caused by this PR and linked them here

[xgreenx]

We also have contract_state_remove_range that has the same problem=)