refactor(verification): move vertex verification to its own service

[glevco]

Motivation

This PR is the first one on a series of refactors related to vertex verification, aiming to move all verification related code out of model classes and to their own files, improving code modularity and enabling other future improvements related to injection of dependencies, patching, etc.

The 4 main entrypoint methods used for validation/verification (detailed below) were moved to a new class and modules. Now, instead of using inheritance, we implement concrete methods and functions that are explicit about from where each implementation is coming from. This also allows to remove unused arguments from method signatures, as they're not overrides of the same method anymore. Verification of each vertex type accepts a specific set of arguments. Other than this change of structure, no behavior should be changed by this PR, it's only a refactor moving code.

In the next PRs, we'll move the remaining verification methods.

Acceptance Criteria

• Create new VerificationService class and (block|transaction|token_creation_transaction)_verification modules.
• Move BaseTransaction methods to VerificationService. The only change in them is adding * to make the signatures more explicit.
  • Move validate_basic() and validate_full() concrete methods as-is.
  • Move verify_basic() and verify() abstract methods, making them concrete.
  • Move validate_tx_error() renaming it to validate_vertex_error().
• Move Block, Transaction and TokenCreationTransaction methods verify_basic() and verify() to each respective *_verification module. The only change is also adding * to their signatures.
• Update HathorManager to use a VerificationService, and update Builder and CliBuilder accordingly.
• Update all usages of verification to use the new VerificationService instead of calling verification methods directly on vertices, including in 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