feat: Remove cached commitments, add BWIP to docs (matter-labs#2400)

## What ❔

Remove lazy loading of commitments in BWG
Add BWIP to docs

## Why ❔

It is not needed, because it is called only once

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.

prover/prover_fri/README.md

@@ -55,7 +55,7 @@ installation as a pre-requisite, alongside these machine specs:
 2. Run the server. In the root of the repository:
 
    ```console
-   zk server --components=api,eth,tree,state_keeper,housekeeper,commitment_generator,proof_data_handler
+   zk server --components=api,eth,tree,state_keeper,housekeeper,commitment_generator,proof_data_handler,vm_runner_bwip
    ```
 
    Note that it will produce a first l1 batch that can be proven (should be batch 0).

prover/vk_setup_data_generator_server_fri/src/commitment_utils.rs

@@ -3,7 +3,6 @@ use std::{str::FromStr, sync::Mutex};
 use anyhow::Context as _;
 use hex::ToHex;
 use once_cell::sync::Lazy;
-use structopt::lazy_static::lazy_static;
 use zkevm_test_harness::witness::recursive_aggregation::{
     compute_leaf_vks_and_params_commitment, compute_node_vk_commitment,
 };
@@ -24,14 +23,6 @@ use crate::{
 
 static KEYSTORE: Lazy<Mutex<Option<Keystore>>> = Lazy::new(|| Mutex::new(None));
 
-lazy_static! {
-    // TODO: do not initialize a static const with data read in runtime.
-    static ref COMMITMENTS: Lazy<L1VerifierConfig> = Lazy::new(|| {
-        let keystore = KEYSTORE.lock().unwrap().clone().unwrap_or_default();
-        circuit_commitments(&keystore).unwrap()
-    });
-}
-
 fn circuit_commitments(keystore: &Keystore) -> anyhow::Result<L1VerifierConfig> {
     let commitments = generate_commitments(keystore).context("generate_commitments()")?;
     Ok(L1VerifierConfig {
@@ -108,8 +99,12 @@ pub fn get_cached_commitments(setup_data_path: Option<String>) -> L1VerifierConf
         let mut keystore_lock = KEYSTORE.lock().unwrap();
         *keystore_lock = Some(keystore);
     }
-    tracing::info!("Using cached commitments {:?}", **COMMITMENTS);
-    **COMMITMENTS
+
+    let keystore = KEYSTORE.lock().unwrap().clone().unwrap_or_default();
+    let commitments = circuit_commitments(&keystore).unwrap();
+
+    tracing::info!("Using cached commitments {:?}", commitments);
+    commitments
 }
 
 #[test]