contracts-bedrock: Convert Echidna tests to Forge invariants for ResourceMetering

[Ratimon]

Description

I have converted invariant logics in FuzzResourceMetering.sol and added those ported ones into invariants/ResourceMetering.t.sol invariant file.

Additional context

• ✨ Contribution Opportunity: Convert Echinda tests to Forge invariants ecosystem-contributions#49

Metadata

• Fixes #[Convert Echidna tests to Forge invariantes Convert Echidna tests to Forge invariantes #4980]

[changeset-bot]

⚠️ No Changeset found

Latest commit: 2861d92

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[netlify]

✅ Deploy Preview for opstack-docs canceled.

Name	Link
🔨 Latest commit	2861d92
🔍 Latest deploy log	https://app.netlify.com/sites/opstack-docs/deploys/6485bb96b7aca90008925c28

[mergify]

This PR has been added to the merge queue, and will be merged soon.