chore!: Separate barretenberg solver from generic blackbox solver code

[phated]

Description

Problem*

Resolves

Summary*

This attempts to rip the barretenberg solver from the actual solver trait. This should be done because wasm-bindgen is viral and infects anything that depends upon acvm and compiles to wasm, such as the LSP. When trying to compile the LSP to wasm, the bindgen tool crashes with the error outlined rustwasm/wasm-bindgen#2033; however, the LSP can just be compiled to wasm32-wasi if bindgen isn't polluting the wasm file.

Additional Context

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[TomAFrench]

Looks good. There's a couple of nits plus I need to speak with kev about how we can fit this into the monorepoing.