refactor(verification): implement VerificationDependencies and VerificationModel [part 7/12]

[glevco]

Depends on #1019

---

Motivation

This PR introduces the concept of Verification Dependencies and Model dataclasses. Before, to perform vertex verification, it was necessary to retrieve data from the vertex itself and also from multiple other sources, for example from the TransactionStorage.

Now, instead of doing this dependency retrieval one by one interspersed in the whole verification process, a single point retrieves all necessary dependencies and everything is verified from the vertex data plus those pre-calculated dependencies. This prevents unnecessary duplicate calculations, and will be necessary for the Multiprocess Verification project.

In previous cancelled PRs, we were going to use a class abstraction over the TransactionStorage, a SimpleMemoryStorage, but this was becoming convoluted in later PRs, considering Sync-V2 agents will also have their own local memory storages. The abstraction had to include several methods to comply with all callers, however each caller only used a few of them. Therefore, we cancelled that approach and went with a functional abstraction instead: methods that calculate verification dependencies and that rely on a storage (for example, the DAA methods), are now higher-order functions, accepting functional parameters to perform their calculations.

Note: in this PR, not all ad-hoc dependencies have been moved yet. This will be completed in the next PR, by using this functional approach for all necessary calculations.

Acceptance Criteria

• Implement verification dependencies and model dataclasses.
• Remove SimpleMemoryStorage.
• Refactor DAA methods to use a functional abstraction for dependencies.
• Removed unused DAA from VertexVerifier.

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

Attention: Patch coverage is 56.75676% with 48 lines in your changes missing coverage. Please review.

Please upload report for BASE (feat/multiv/async-on-new-vertex-6@054a739). Learn more about missing BASE report.

Files with missing lines	Patch %	Lines
hathor/verification/verification_model.py	52.63%	27 Missing ⚠️
hathor/verification/verification_dependencies.py	61.11%	21 Missing ⚠️

Additional details and impacted files

@@                         Coverage Diff                          @@
##             feat/multiv/async-on-new-vertex-6    #1022   +/-   ##
====================================================================
  Coverage                                     ?   84.25%           
====================================================================
  Files                                        ?      320           
  Lines                                        ?    24356           
  Branches                                     ?     3713           
====================================================================
  Hits                                         ?    20521           
  Misses                                       ?     3113           
  Partials                                     ?      722           

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