chore: bump aave-cli to 1.1.18

[yan-man]

• bump aave-cli to 1.1.18 to bump nested dep base-x from 4.0.0 -> 4.0.1

[certora-run]

Verification Results

• Group ID: aa95be9f-6f15-4804-82e6-fafeef15327c

Job	Result	VERIFIED	Link
VariableDebtToken.conf	✅	15	Link
UserConfiguration.conf	✅	13	Link
stableRemoved.conf	✅	2	Link
RwaAToken.conf	✅	13	Link
ReserveConfiguration.conf	✅	19	Link
NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowZeroAmount	✅	1	Link
NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowOnReserveDisabledForBorrowing	✅	1	Link
NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowOnInactiveReserve	✅	1	Link
NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowOnFrozenReserve	✅	1	Link
NEW-pool-simple-properties.conf --rule cannotWithdrawZeroAmount	✅	1	Link
NEW-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve	✅	1	Link
NEW-pool-simple-properties.conf --rule cannotDepositZeroAmount	✅	1	Link
NEW-pool-simple-properties.conf --rule cannotDepositInInactiveReserve	✅	1	Link
NEW-pool-simple-properties.conf --rule cannotDepositInFrozenReserve	✅	1	Link
NEW-pool-no-summarizations.conf	✅	3	Link
EModeConfiguration.conf	✅	5	Link
AToken.conf	✅	13	Link

[certora-run]

Verification Results

• Group ID: 8efa52e6-ba33-413c-9cc2-2a258e2c776e

Job	Result	VERIFIED	Link
verifyStataToken.conf --rule totalClaimableRewards_stable	✅	2	Link
verifyStataToken.conf --rule totalAssets_stable	✅	2	Link
verifyStataToken.conf --rule solvency_total_asset_geq_total_supply	✅	2	Link
verifyStataToken.conf --rule solvency_positive_total_supply_only_if_positive_asset	✅	2	Link
verifyStataToken.conf --rule singleAssetAccruedRewards	✅	2	Link
verifyStataToken.conf --rule rewardsTotalDeclinesOnlyByClaim	✅	2	Link
verifyStataToken.conf --rule rewardsConsistencyWhenSufficientRewardsExist	✅	2	Link
verifyStataToken.conf --rule rewardsConsistencyWhenInsufficientRewards	✅	2	Link
verifyStataToken.conf --rule getClaimableRewards_stable	✅	2	Link
verifyStataToken.conf --rule getClaimableRewards_stable_after_refreshRewardTokens	✅	2	Link
verifyStataToken.conf --rule getClaimableRewards_stable_after_deposit	✅	2	Link
verifyStataToken.conf --rule getClaimableRewardsBefore_leq_claimed_claimRewardsOnBehalf	✅	2	Link
verifyERC4626Extended.conf --rule redeemSum	✅	2	Link
verifyERC4626Extended.conf --rule redeemATokensSum	✅	2	Link
verifyERC4626DepositSummarization.conf --rule depositCheckIndexGRayAssert1 depositATokensCheckIndexGRayAssert1 depositWithPermitCheckIndexGRayAssert1 depositCheckIndexERayAssert1 depositATokensCheckIndexERayAssert1 depositWithPermitCheckIndexERayAssert1	✅	7	Link
verifyERC4626.conf --rule maxMintMustntRevert maxDepositMustntRevert maxRedeemMustntRevert maxWithdrawMustntRevert totalAssetsMustntRevert	✅	6	Link
verifyDoubleClaim.conf --rule prevent_duplicate_reward_claiming_single_reward_sufficient	✅	2	Link
verifyDoubleClaim.conf --rule prevent_duplicate_reward_claiming_single_reward_insufficient	✅	2	Link
verifyAToken.conf --rule aTokenBalanceIsFixed_for_collectAndUpdateRewards aTokenBalanceIsFixed_for_claimRewards aTokenBalanceIsFixed_for_claimRewardsOnBehalf	✅	4	Link
verifyAToken.conf --rule aTokenBalanceIsFixed_for_claimSingleRewardOnBehalf aTokenBalanceIsFixed_for_claimRewardsToSelf	✅	3	Link
tWithPermitCheckIndexGRayAssert2 depositCheckIndexERayAssert2 depositATokensCheckIndexERayAssert2 depositWithPermitCheckIndexERayAssert2 mintCheckIndexGRayUpperBound mintCheckIndexGRayLowerBound mintCheckIndexEqualsRay	✅	10	Link
ToAssetsCheck convertToSharesCheck toAssetsDoesNotRevert sharesConversionRoundedDown toSharesDoesNotRevert previewDepositAmountCheck maxRedeemCompliance maxWithdrawConversionCompliance previewMintIndependentOfAllowance	✅	23	Link
ingRange previewRedeemRoundingRange amountConversionPreserved sharesConversionPreserved accountsJoiningSplittingIsLimited convertSumOfAssetsPreserved previewDepositSameAsDeposit previewMintSameAsMint maxDepositConstant	✅	10	Link

[yan-man]

refer to #41