Refactor and augment demo rollup benches

[theochap]

Description

This simple PR refactors demo-rollup benches by incorporating the data generators module and building larger benchmark tests. It also makes some refactoring to certain parts of the stf-blueprint to be able to capture benchmarking cycles with a finer precision.

Linked Issues

• Related to Tracking issue: Reduce the number of cycles for the zk prover. #1271

Testing

Ran the benchmarks and reported the results

Docs

The results are reported in the demo-rollup/benches/prover/README.md

[codecov]

Codecov Report

Attention: 90 lines in your changes are missing coverage. Please review.

Comparison is base (de526a6) 79.2% compared to head (709b3f7) 78.8%.
Report is 1 commits behind head on nightly.

Additional details and impacted files

Files	Coverage Δ
...ystem/sov-data-generators/src/value_setter_data.rs	86.0% <ø> (ø)
...ystem/sov-modules-stf-blueprint/src/tx_verifier.rs	100.0% <100.0%> (ø)
...tem/sov-modules-stf-blueprint/src/stf_blueprint.rs	88.8% <98.1%> (+1.1%)	⬆️
module-system/sov-data-generators/src/lib.rs	86.3% <0.0%> (ø)
module-system/sov-state/src/zk_storage.rs	65.9% <78.4%> (+8.4%)	⬆️
module-system/sov-data-generators/src/bank_data.rs	80.5% <2.8%> (ø)

... and 10 files with indirect coverage changes