Meter wasm gas using mutable global

[sug0]

Describe your changes

Supersedes #4647

The likelihood of this being a consensus breaking upgrade is nearly null, but it's still safer to upgrade to a software release containing this PR in a hardfork.

Checklist before merging

• If this PR has some consensus breaking changes, I added the corresponding breaking:: labels
  • This will require 2 reviewers to approve the changes
• If this PR requires changes to the docs or specs, a corresponding PR is opened in the namada-docs repo
  • Relevant PR if applies:
• If this PR affects services such as namada-indexer or namada-masp-indexer, a corresponding PR is opened in that repo
  • Relevant PR if applies:

[sug0]

failures:
    wasm::run::tests::test_tx_stack_limiter
    wasm::run::tests::test_vp_stack_limiter

the stack limiter tests are now failing... hmmm. the changes we've made to wasm affect the stack limiter code that's been injected, after all, so these are probably consensus breaking changes

EDIT: fixed the test by forking wasm-instrument, changing the behavior of the stack limiter instrumenting code to allow specifying a list of functions exempt of instrumentation