feat: risc0 for sdk and cli

[MarcosNicolau]

Description

• Implement risc0 for aligned sdk and cli
• Adds makefile targets to verify if a given proof is part of an aggregated proof

Test

1. Send risc0 proofs to aligned, and wait until they are aggregated:

make batcher_send_risc0_burst

2. Verify in aggregation mode:

make verify_aggregated_proof_risc0_holesky_stage BEACON_URL=<BEACON_CLIENT_URL> FROM_BLOCK=<BLOCK_NUMBER>

Type of change

• New feature

Checklist

• “Hotfix” to testnet, everything else to staging
• Linked to Github Issue
• This change depends on code or research by an external entity
  • Acknowledgements were updated to give credit
• Unit tests added
• This change requires new documentation.
  • Documentation has been added/updated.
• This change is an Optimization
  • Benchmarks added/run
• Has a known issue
  • Link to the open issue addressing it
• If your PR changes the Operator compatibility (Ex: Upgrade prover versions)
  • This PR adds compatibility for operator for both versions and do not change batcher/docs/examples
  • This PR updates batcher and docs/examples to the newer version. This requires the operator are already updated to be compatible