Upgrade-5: prover Refactor

[roynalnaruto]

Description

Refactor the prover crate for:

• Better code organisation
• Inline documentation
• Better structure and lesser duplication

Notice

Requires re-running e2e tests and debugging potentially regression issues in the prover crate's behaviour:

1. scroll-prover: https://github.com/scroll-tech/scroll-prover
2. scroll/prover: https://github.com/scroll-tech/scroll/tree/develop/prover

[roynalnaruto]

@amoylan2 please refer the updates in this PR to also make corresponding changes in scroll/prover. @noel2004 will also be able to help.

[lispc]

@amoylan2 please refer the updates in this PR to also make corresponding changes in scroll/prover. @noel2004 will also be able to help.

Btw this time we upgraded rust version and many low level libraries. So for now better only testing this branch, later we will pick some needed changes to v0.13 for dual version support..

[lispc]

change to has_accumulator?

[roynalnaruto]

It is a planned change. I have not yet removed the has_accumulator argument from function calls.

[lispc]

good refactor of Err and Proof.

can be merged after e2e testing in scroll-prover

[lispc]

i will help with e2e testing.

[lispc]

need to change

/// Defines a proving task for bundle proof generation.
#[derive(Debug, Clone, Deserialize, Serialize)]
pub struct BundleProvingTask {
    /// The [`BatchProofs`][BatchProof] for the contiguous list of batches to be bundled together.
    pub batch_proofs: Vec<BatchProof>,
}

to BatchProofV2?