[Refacto] Separate circuits/types into multiple crates

[noel2004]

In a "end game" purpose for zkvm-prover, we moved out the circuits crates into scroll mono repo and left zkvm prover a "universal" one without explicit knowledge to every circuit. While in scroll monorepo, the crates of circuits need to share parts of codes with coordinator via libzkp.

To achieve such a designation in the future, this PR made some refactoring to the all-in-one circuit-types crate and separate it into several parts:

1. the base crate being shared between libzkp and crates of circuits, so libzkp (and all go modules loading it) do not need to depend on the openvm related crates
2. separated crates for different circuits, they are also shared between libzkp and the corresponding circuit, it make the circuit has less dependencies (for example, batch and bundle do not need sbv)
3. the circuit crate being shared between crates of circuits, including dependencies of openvm