Prover Cycle Improvements

[ercecan]

We need to decrease the cycle counts of our proving opertions

We can look into:

• Serialization and deserialization optimizations
• Updating merkle root verifier in bitcoin DA
• ...

[kpp]

Benchmarks for serde were done in https://github.com/chainwayxyz/citrea/issues/705