### CVC5

Recently `cvc5` updated their api and changed the way of creating and
managing terms. Now `cvc5::TermManger` is responsible for this instead
of `cvc5::Solver`.
This pr fixes our api to meet their update.

Also I made `cvc5` an external project in CMakeLists so now you don't
have to install it manually.

### Bool

For some reason `Bool` class had pure `cvc5::Solver` pointer as a
member. Fixed that to be `smt_solver::Solver`.

### Circuit

fixed `univariate_flag`. It was `true` by default, so it performed the
wrong optimization.

### Solver

renamed

- `fp` -> `ff_sort`
- `s` -> `solver`
- `tm` -> `term_manager`

Added placeholder methods `getValue` and `assertFormula` to avoid code
like `solver->solver.assertFormula`

---------

Co-authored-by: Innokentii Sennovskii <[email protected]>

Introduces earthly as an alternative CI that hopes to eventually replace
our current build-system.

https://docs.earthly.dev/ is a build system that combines Makefiles and
Dockerfiles. This is basically exactly what our system needed, IMO, and
has some nice things figured out. Hope is to reduce complexity of
working with the build system by a good chunk.

Core changes:
- we have a github actions CI that runs a single end to end test inside
earthly for arm64 and x86_64
- new Earthfile's now mirror the Dockerfile's, notable differences:
  - we build our own foundry package for ARM support
  - we build our own wasi-sdk package for ARM support
- grumpkin SRS is no longer generated on the spot, but downloaded like
bn254 SRS
- we don't inject any commit hashes for Noir as this would cause
spurious rebuilds as any difference stops caching, instead we inject a
content hash (to be revisited)

 Side changes:
- since we build our own wasi-sdk 21 package, and it is clang18, some
compilation workarounds
  - allow specifying a different nargo and acvm binary in build
  - small output tweaks

---------

Co-authored-by: Charlie Lye <[email protected]>
Co-authored-by: Innokentii Sennovskii <[email protected]>
Co-authored-by: Cody Gunton <[email protected]>
Co-authored-by: Alex Gherghisan <[email protected]>
Co-authored-by: Mitchell Tracy <[email protected]>
Co-authored-by: Jan Beneš <[email protected]>
Co-authored-by: esau <[email protected]>
Co-authored-by: Facundo <[email protected]>
Co-authored-by: josh crites <[email protected]>
Co-authored-by: Tom French <[email protected]>
Co-authored-by: Álvaro Rodríguez <[email protected]>
Co-authored-by: Ilyas Ridhuan <[email protected]>

Introduces earthly as an alternative CI that hopes to eventually replace
our current build-system.

https://docs.earthly.dev/ is a build system that combines Makefiles and
Dockerfiles. This is basically exactly what our system needed, IMO, and
has some nice things figured out. Hope is to reduce complexity of
working with the build system by a good chunk.

Core changes:
- we have a github actions CI that runs a single end to end test inside
earthly for arm64 and x86_64
- new Earthfile's now mirror the Dockerfile's, notable differences:
  - we build our own foundry package for ARM support
  - we build our own wasi-sdk package for ARM support
- grumpkin SRS is no longer generated on the spot, but downloaded like
bn254 SRS
- we don't inject any commit hashes for Noir as this would cause
spurious rebuilds as any difference stops caching, instead we inject a
content hash (to be revisited)

 Side changes:
- since we build our own wasi-sdk 21 package, and it is clang18, some
compilation workarounds
  - allow specifying a different nargo and acvm binary in build
  - small output tweaks

---------

Co-authored-by: Charlie Lye <[email protected]>
Co-authored-by: Innokentii Sennovskii <[email protected]>
Co-authored-by: Cody Gunton <[email protected]>
Co-authored-by: Alex Gherghisan <[email protected]>
Co-authored-by: Mitchell Tracy <[email protected]>
Co-authored-by: Jan Beneš <[email protected]>
Co-authored-by: esau <[email protected]>
Co-authored-by: Facundo <[email protected]>
Co-authored-by: josh crites <[email protected]>
Co-authored-by: Tom French <[email protected]>
Co-authored-by: Álvaro Rodríguez <[email protected]>
Co-authored-by: Ilyas Ridhuan <[email protected]>

)

* Add storage e2e tests
* Convert test contract methods to snake case to match other contracts.
* Remove `avm_` requirement in function names for transpilation. It's not needed, we rely on `#[aztec(public-vm)]`.
* Prepare ground in bootstrap.sh to transpile all files in parallel. It works but I'm being overly cautious and not enabling it on all files until I need it.
* Backup original contract before transpiling.

)

* Add storage e2e tests
* Convert test contract methods to snake case to match other contracts.
* Remove `avm_` requirement in function names for transpilation. It's not needed, we rely on `#[aztec(public-vm)]`.
* Prepare ground in bootstrap.sh to transpile all files in parallel. It works but I'm being overly cautious and not enabling it on all files until I need it.
* Backup original contract before transpiling.