Spend descriptions validation

[grarco]

Describe your changes

Addresses #1373.

Creates a note commitment tree in storage and modifies the masp tx to update this tree. Changes finalize_block to update the anchor of this tree at the end of a block. Updates the masp VP to verify the changes made to the tree (also checks that the tree capacity is not exceeded) and the validity of the anchor for each spend description.

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

Commit 39e00c5c16fdb68f88626c6ff175ff6948cf2dda of #2240

Checklist before merging to draft

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