Re-export black box functions for ACVM simulator to expose

[TomAFrench]

Problem

The ACVM simulator has an open issue to expose implementation of the black box function solvers: noir-lang/noir#2811.

We want to enforce consistency rather than having a separate implementation in the simulator so ideally we'd reuse the solvers which exist within ACVM however these have a pretty non-ideal interface, e.g.:

sha256(
    initial_witness: &mut WitnessMap,
    inputs: &[FunctionInput],
    outputs: &[Witness],
)

Proposed solution

To ensure consistency between ACVM and the simulator we should rework the underlying solvers within ACVM to be "pure" and then wrap these in a function which handles writing to the witness map.

Alternatives considered

No response

Additional context

No response

Submission Checklist

• Once I hit submit, I will assign this issue to the Project Board with the appropriate tags.