[Certora Audit] G-10. ++i costs less gas compared to i++ or i+=1

[remedcu]

This pull request includes several changes to increment and decrement operations in various Solidity contract files. The primary goal is to decrease gas usage.

Pre-increments and pre-decrements are cheaper.
For a uint256 i variable, the following is true with the Optimizer enabled at 10k:
Increment:

• i += 1 is the most expensive form
• i++ costs 6 gas less than i += 1
• ++i costs 5 gas less than i++ (11 gas less than i += 1)

Decrement:

• i -= 1 is the most expensive form
• i-- costs 11 gas less than i -= 1
• --i costs 5 gas less than i-- (16 gas less than i -= 1)

Changes to increment and decrement operations:

• contracts/Safe.sol: Updated the for loop to use the prefix increment operator in the Safe contract.
• contracts/base/ModuleManager.sol: Changed the increment operation to use the prefix increment operator in the ModuleManager contract.
• contracts/base/OwnerManager.sol: Multiple updates to use prefix increment and decrement operators in the OwnerManager contract. [1] [2] [3] [4]
• contracts/common/StorageAccessible.sol: Modified the for loop to use the prefix increment operator in the StorageAccessible contract.
• contracts/handler/extensible/ERC165Handler.sol: Updated for loops to use the prefix increment operator in the ERC165Handler contract. [1] [2]
• contracts/libraries/SafeToL2Migration.sol: Changed the increment operation to use the prefix increment operator in the SafeToL2Migration contract.