tests(verification): implement tests to improve refactor reliability

[glevco]

Motivation

Improve the reliability of the "move verification" refactors, starting from #797.

This PR aims to assert that each verification method is called when it is supposed to be called, specially considering the inheritance hierarchy of vertices. New tests are implemented for verify_basic(), verify_without_storage(), and verify(), for each one of the 4 vertex types, totaling 12 new tests.

For the root types Block and Transaction, the tests are straightforward. For the derived types MergeMinedBlock and TokenCreationTransaction, the tests are the same as for their parent types, but with the modification considering their custom methods. The only modifications are the following:

• For MergeMinedBlock:
  • The Block.verify_without_storage() is overridden to add the custom verify_aux_pow(). This inflicts changes in the verify_without_storage() and verify() tests.
• For TokenCreationTransaction:
  • Transaction.verify_sum() is overridden to be substituted by a custom verify_sum(). This inflicts no changes in tests.
  • The TokenCreationTransaction.verify_token_info() is added to verify(). This inflicts changes in the verify() test.

Acceptance Criteria

• Implement verification tests.

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

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (d8e1964) 84.55% compared to head (0ed7e3f) 84.56%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #824      +/-   ##
==========================================
+ Coverage   84.55%   84.56%   +0.01%     
==========================================
  Files         269      269              
  Lines       22234    22234              
  Branches     3397     3397              
==========================================
+ Hits        18799    18802       +3     
+ Misses       2765     2762       -3     
  Partials      670      670              

see 7 files with indirect coverage changes

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