chore: green light for blackbox_solver audit#10372

jfecher merged 3 commits intomasternoir-lang/noir:masterfrom

gd/green_light_bb_solvernoir-lang/noir:gd/green_light_bb_solverCopy head branch name to clipboard