Murisi+grarco/multi tx masp vp rebased2

[murisi]

Describe your changes

Tried to increase the readability, strength, and generality of the MASP validity predicate whilst decreasing its verbosity. Closes #3068 . The changes are as follows:

• Transaction inputs and outputs that exceed pre-balances and post-balances respectively are no longer allowed.
• Now use the Sapling value balance in order to verify that movement in and out of the shielded pool is correct
• Now handle all AssetType decoding in one place before starting to check the transparent bundles
• The VP should now support Transactions and unrelated Transfers touching the same addresses/tokens
• Tried to remove the code that gave IBC minting transactions special treatment now that Sapling value balance is used
• Reduced dependency on the multitoken VP by directly checking the correctness of MASP VP balance changes
• Now check that all Transactions and the balancing transaction are sufficiently authorized; prevents malleability
• Now allow changes to the MASP token map when authorized by governance.

What would still need to be handled/fixed if this code turns out to be relevant:

• Add integration tests. Like checking that an unshielding Transaction to Bertha is embeddable inside a Transfer to Christel only if Bertha has signed the entire transaction (in addition to the usual MASP checks).

Indicate on which release or other PRs this topic is based on

Namada 0.35.1
namada-net/masp#83
namada-net/num-traits#1

Checklist before merging to draft

• I have added a changelog
• Git history is in acceptable state

[codecov]

Codecov Report

Attention: Patch coverage is 6.03715% with 607 lines in your changes are missing coverage. Please review.

Project coverage is 60.12%. Comparing base (4ed6229) to head (96218d8).

Files	Patch %	Lines
crates/namada/src/ledger/native_vp/masp.rs	0.00%	397 Missing ⚠️
crates/core/src/uint.rs	1.63%	120 Missing ⚠️
...ledger/native_vp/ethereum_bridge/bridge_pool_vp.rs	0.00%	24 Missing ⚠️
crates/sdk/src/queries/shell.rs	0.00%	22 Missing ⚠️
crates/sdk/src/masp.rs	0.00%	16 Missing ⚠️
crates/trans_token/src/storage_key.rs	0.00%	14 Missing ⚠️
crates/core/src/token.rs	53.33%	7 Missing ⚠️
crates/shielded_token/src/storage_key.rs	0.00%	7 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #3264      +/-   ##
==========================================
- Coverage   60.24%   60.12%   -0.13%     
==========================================
  Files         303      302       -1     
  Lines       93191    93389     +198     
==========================================
+ Hits        56145    56147       +2     
- Misses      37046    37242     +196     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.