Make bb use Goblin + Ultrahonk by default and fix hacks

[ludamad]

Currently we don't have all the parts to fully integrate into bb, and are not ready for downstream users (i.e. Noir) to switch over. We should eventually replace the proveAndVerify methods with the Goblin-suffixed methods and have it use ultrahonk

We should also move aware from hardcoded hacks (marked by this issue number) and introduce better abstractions than the initial pass