Drive proving with rust

[maciejka]

Add raito-assumevalid crate

This PR introduces a new raito-assumevalid crate that provides functionality for proving assumevalid Cairo program using the generated arguments. The crate includes:

• A library interface for generating Cairo-compatible arguments from chain state and block headers
• A CLI tool for fetching data from a raito-bridge-node and generating arguments
• Functions for proving Cairo programs using the generated arguments
• Utilities for managing proofs and automating the proving process

[maciejka]

• Run proving in ephemeral spot instance #386
• Drive proving with rust #385 👈 (View in Graphite)
• Add raito-cairo-args crate for Cairo/Scarb runner argument serialization #384
• Use Stwo-cairo from main #378
• Fix typo #382 : 2 other dependent PRs (#375 , #381 )
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.