Update simulator to handle folding

[vezenovm]

After this epic (https://github.com/noir-lang/noir/issues/4426) Noir has moved to handling a collection of ACIR circuits that we now refer to as an ACIR program. This has been updated everywhere in the Noir stack including ACVM JS (https://github.com/noir-lang/noir/issues/4645). The main method for ACIR execution using ACVM JS is now executeProgramWithBlackBoxSolver. To maintain backwards compatibility executeCircuitWithBlackBoxSolver uses executeProgramWithBlackBoxSolver internally. We should move to using executeProgramWithBlackBoxSolver exclusively in the simulator and then we can remove all the execute circuit methods from ACVM JS.