Group dependabot updates

[H00N24]

🚀 Pull Request Overview

By default dependabot produces a lot of PRs for every single change. This PR should group them together.

---

📜 Tests Checklist

Before submitting this PR, ensure that all tests pass and meet the following conditions:

Category	Status	Compilation Comment	Results Review
fail_to_start	❌ Failed with compilation error	🟢 Yes	🔴 No
violated_rules	✅ Passed, with violations found	🔴 No	🟢 Yes
verified_rules	✅ Passed without violations	🔴 No	🟢 Yes
solana_violated_rules	✅ Passed, with violations found	🔴 No	🟢 Yes
sui_verified_rules	✅ Passed without violations	🔴 No	🟢 Yes

Please verify that your changes meet the above conditions for each category of tests.
If something doesn't match, investigate before submitting the PR.

[github-actions]

Certora Run Started (Fail to Start)

• Group ID: e7542df6-36d6-463a-b12b-5461f72601af

Config	Status	Link	Log File
conf-start-error.conf	Failed (1)	-	tests/evm/conf-start-error.conf-0691b48bc11c.log
conf-start-error.conf --method "counter()"	Failed (1)	-	tests/evm/conf-start-error.conf-b9f757172bdf.log
conf-verified.conf	Compiled	-	tests/evm/conf-verified.conf-3192ca50462c.log
conf-verified.conf --rule monotone --method "counter()"	Compiled	-	tests/evm/conf-verified.conf-ce11a2098288.log
conf-violations.conf --method "counter()"	Compiled	-	tests/evm/conf-violations.conf-72d3b8320828.log
conf-violations.conf --rule invertible	Compiled	-	tests/evm/conf-violations.conf-b00f7f174828.log

Certora Run Summary

• Started 4 jobs
• 2 jobs failed

Download Logs

[certora-run]

Verification Results

• Group ID: 7290d14d-0fd4-4509-a7b5-74a5198bb36f
• Commit: 941ee26

Job	Result	VERIFIED	VIOLATED	Link
conf-violations.conf --rule invertible	✅	2	0	Link
conf-violations.conf	❌	2	1	Link
conf-verified.conf --method "counter()"	⌛	3	0	Link
conf-verified.conf	✅	3	0	Link

[certora-run]

Verification Results

• Group ID: 516eaa50-a411-49d0-8b65-2ca656c62203
• Commit: 941ee26

Job	Result	VERIFIED	Link
simple.conf	✅	1	Link

[certora-run]

Verification Results

• Group ID: 969d0f52-9daa-4b69-b5a5-0000ff892df9
• Commit: 941ee26

Job	Result	VERIFIED	Link
Hello.conf	⌛	1	Link

[certora-run]

Verification Results

• Group ID: 1c14e295-1c1c-4374-b6a3-3788289398c8
• Commit: 941ee26

Job	Result	SANITY_FAILED	VIOLATED	Link
Default.conf	⌛	2	1	Link

[certora-run]

Verification Results

• Group ID: 0eca0a2a-2be3-4e89-8cd1-704d3487ee15
• Commit: 941ee26

Job	Result	VERIFIED	Link
conf-verified.conf --rule monotone --method "counter()"	✅	2	Link
conf-verified.conf --rule invertible	✅	2	Link
conf-verified.conf --method "counter()"	✅	3	Link
conf-verified.conf	✅	3	Link

[github-actions]

Certora Run Started (Fail to Start)

• Group ID: f76fe8a7-d407-4d53-84cb-de3bcbff323a

Config	Status	Link	Log File
conf-start-error.conf	Failed (1)	-	tests/evm/conf-start-error.conf-6588bcdac8d3.log
conf-start-error.conf --method "counter()"	Failed (1)	-	tests/evm/conf-start-error.conf-4e23c9a2db0b.log
conf-verified.conf	Compiled	-	tests/evm/conf-verified.conf-e81ca6372295.log
conf-verified.conf --rule monotone --method "counter()"	Compiled	-	tests/evm/conf-verified.conf-5b0505754108.log
conf-violations.conf --method "counter()"	Compiled	-	tests/evm/conf-violations.conf-87d187678926.log
conf-violations.conf --rule invertible	Compiled	-	tests/evm/conf-violations.conf-adc6abc06b69.log

Certora Run Summary

• Started 4 jobs
• 2 jobs failed

Download Logs