Retire more proving from Lurk Alpha (#875)

* refactor: Refactor codebase by removing MultiFrame struct usage

- Removed the entire `MultiFrame` struct execution across multiple files.
- Altered import statements to match the changes in the codebase.

* refactor: Remove dead code

- Removed the method `chunk_size` from the `Flow` enum in `config.rs`.
- Eliminated several imports in `circuit_frame.rs`, including `ConsCircuitWitness`, `ContCircuitWitness`, `HashCircuitWitnessCache`, `Frame` from `eval`, and `HashWitness`.
- Removed the function `from_frame` from `CircuitFrame` implementation and significantly pared down the `synthesize` function within the same implementation.
- Introduced `#[allow(dead_code)]` annotations on `reduce_expression` and `apply_continuation` functions, marking them as currently unused but potentially useful in the next few commits

* refactor: Refactor dead code

- Eliminated redundant code and unused imports across multiple files,
- Removed obsolete methods, such as `num_threads` from config module, `new` and `new_dummy` from `Slot` struct, and `from_cons_witness` and `from_cont_witness`.

* refactor: Refactor `CircuitHashWitness` and remove `HashConst`

- Eliminated the `HashConst` struct from the `hash_witness.rs` source file.
- Removed the unused `circuit_witness_blocks` and `names_and_ptrs` methods for the `CircuitHashWitness`.