Murisi/client anchor patch optimized

[murisi]

Describe your changes

Implemented a patch on the MASP client to search for the Transaction ordering used by the protocol. Specifically, for a given block, the client goes through different permutations of its Transactions and checks if applying them would result in a note commitment tree anchor in agreement with the protocol. When this condition is met, the client then moves onto the next block doing the same thing until the client is fully synchronized.

Improvements from original patch in https://github.com/anoma/namada/tree/murisi/check-acknowledgement :

• Restricted the set of permutations tried to only those that can actually happen
• Reduced the amount of commitment anchor existence queries by only doing so on block boundaries
• Deduplicated calls to update_witness_map by not destroying ShieldedContext state after finding correct ordering
• Now respect last_witnessed_tx so that previously applied Transactions are no longer reapplied
• Now respect the needs_witness_map_update capability by not updating witness map if it is false
• Replaced error-prone index arithmetic with iterator usage and factored out hack into separate function
• Adjusted the client to not reorder (to block ordering) the Transactions it obtains from events or the indexer

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:

[codecov]

Codecov Report

Attention: Patch coverage is 79.62085% with 43 lines in your changes missing coverage. Please review.

Project coverage is 74.49%. Comparing base (7b4a880) to head (81907dc).
Report is 46 commits behind head on main.

Files with missing lines	Patch %	Lines
crates/sdk/src/masp/utilities.rs	34.78%	30 Missing ⚠️
...hielded_token/src/masp/shielded_sync/dispatcher.rs	92.30%	9 Missing ⚠️
crates/tx/src/types.rs	75.00%	3 Missing ⚠️
crates/shielded_token/src/masp/shielded_wallet.rs	92.85%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #4442      +/-   ##
==========================================
+ Coverage   74.48%   74.49%   +0.01%     
==========================================
  Files         339      339              
  Lines      110643   110786     +143     
==========================================
+ Hits        82415    82535     +120     
- Misses      28228    28251      +23     

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

🚀 New features to boost your workflow:

• ❄ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[murisi]

@sug0 @batconjurer Fixed the incorrect masp_index in ShieldedWallet::note_index bug we came across yesterday. This is done in 523af8b . Maybe this is also relevant to the indexer code?

[tzemanovic]

this has been released in libs-v0.48.0 and apps v1.1.3