scroll-dev-0607: add circuit aggregation

[lispc]

cargo test --features prove_verify --release test_4in1

peak mem: 506G
wallet clock time: 6809.25s

notable changes:

1. create_agg_circuit_proof will be the real public method of prover. The old proving evm circuit / state circuit are "inner" now.
2. Although we init evm / state vks in verifier, they are kept only for legacy reasons. They are not needed any longer in fact.
3. Roller/Verifier service need some pregenerated files: params18 / params26 / verify_circuit.vkey(Verifier only). params18/26 are stored in a EC2 now. Need to publish onto S3 later.
4. no longer give BockResult to verifier. Verifier should not access BlockResult.
5. MISC: test_params changed from file to folder; AggCircuitProof is the data that should be passed from prover to verifier.
6. solidity stuff: see this example https://github.com/scroll-tech/halo2-snark-aggregator/blob/scroll-dev-0607/halo2-snark-aggregator-solidity/waffle/run.sh AggCircuitProof::proof_solidity(named proof_be in disk) and AggCircuitProof::instances_commitments needed for solidity. This file is THE VERIFIER released.