refactor(verification): remove VertexVerifier inheritance [part 6/9]

[glevco]

Depends on #834

Motivation

Simplify verification by removing the VertexVerifier inheritance from BlockVerifier, and TransactionVerifier, as it was not necessary. It's changed to composition instead, but this will also be removed in next PRs.

This allows us to simplify more code downstream, and will culminate in streamlining the whole verification process without using inheritance.

Read #833 for more info.

Acceptance Criteria

• Change verify_outputs() in both BlockVerifier and TransactionVerifier to use VertexVerifier composition instead of inheritance.
• Move VertexVerifiers to its own file, implementing new create() method.
• Remove all custom Simulator verifiers, leaving only a custom SimulatorVertexVerifier.
• Update usages accordingly.
• No behavior should be changed by this PR.

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 (11a84eb) 85.31% compared to head (36aa21f) 85.27%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #835      +/-   ##
==========================================
- Coverage   85.31%   85.27%   -0.04%     
==========================================
  Files         282      283       +1     
  Lines       22419    22421       +2     
  Branches     3402     3400       -2     
==========================================
- Hits        19126    19119       -7     
- Misses       2609     2612       +3     
- Partials      684      690       +6     

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