feat(dynamic-transaction-model): fee verification using fee header and nc

[raul-oliveira]

Depends on 1414

Motivation

To make fee payment explicit in the transaction this pr adds the FeeHeader in the transaction. It carries all the tokens and amounts, indicating they will be used to pay fees.

Acceptance Criteria

• Should use the FeeHeader to manipulate the token_dict to make fees act as outputs in the diff.
• The verify_sum will have a flag to indicate if it should enforce the HTR amount validation or not. This flag is useful when dealing with nano contracts that might have tokens that aren't created at the verification stage.
• Add a verify_sum call when the nano contract executes in the block_consensus
• Adds the fee_header verification without storage whithin the basic verification
• Specify the block to be used and the source of data in the methods that calls on_old_new_vertex
• Change the VerificationParams to receive a block or block storage

Checklist

• [] If you are requesting a merge into master, confirm this code is production-ready and can be included in future releases as soon as it gets merged

[github-actions]

Bencher Report

Branch	raul-oliveira/fee-token-verification
Testbed	ubuntu-22.04

Click to view all benchmark results

Benchmark	Latency	Benchmark Result minutes (m) (Result Δ%)	Lower Boundary minutes (m) (Limit %)	Upper Boundary minutes (m) (Limit %)
sync-v2 (up to 20000 blocks)	📈 view plot 🚷 view threshold	1.95 m (+12.31%) Baseline: 1.73 m	1.56 m (80.14%)	2.08 m (93.59%)

🐰 View full continuous benchmarking report in Bencher

[codecov]

Codecov Report

❌ Patch coverage is 94.97207% with 9 lines in your changes missing coverage. Please review.
✅ Project coverage is 86.10%. Comparing base (aa3ff28) to head (dca477b).
⚠️ Report is 2 commits behind head on master.

Files with missing lines	Patch %	Lines
hathor/wallet/resources/thin_wallet/send_tokens.py	50.00%	3 Missing ⚠️
hathor/nanocontracts/balance_rules.py	77.77%	1 Missing and 1 partial ⚠️
hathor/transaction/transaction.py	92.85%	1 Missing and 1 partial ⚠️
hathor/verification/transaction_verifier.py	94.28%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1415      +/-   ##
==========================================
- Coverage   86.11%   86.10%   -0.01%     
==========================================
  Files         435      436       +1     
  Lines       33940    34024      +84     
  Branches     5302     5319      +17     
==========================================
+ Hits        29227    29298      +71     
- Misses       3675     3681       +6     
- Partials     1038     1045       +7     

☔ 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.