test(drive): verify proof signatures in strategy tests

[lklimek]

Issue being fixed or feature implemented

We need to correctly verify proof signatures in strategy tests.

What was done?

• companion PR: implemented SignDigest trait for CanonicalVote in feat: impl SignDigest for CanonicalVote for easier light client verification rs-tenderdash-abci#22
• implemented proof verification using light client algorithm in
• MimicExecuteBlockOutcome includes all data required to verify a proof using light client approach
• implemented easy way to enable logging in tests
• enabled logging, block signing & verification in run_chain_insert_one_new_identity_per_block
• implemented ProofVerification.verify_proof() that verifies provided proof, including full signature verification
• refactored signing code to use (simpler) CanonicalVote approach
• removed some unused code

How Has This Been Tested?

cargo test -p drive-abci

Breaking Changes

None

Checklist:

• I have performed a self-review of my own code
• I have commented my code, particularly in hard-to-understand areas
• I have added or updated relevant unit/integration/functional/e2e tests
• I have made corresponding changes to the documentation

For repository code-owners and collaborators only

• I have assigned this pull request to a milestone

[QuantumExplorer]

Very nice work, minimal changes requested.