chore: remove a bunch of dummy definitions#10482

TomAFrench merged 7 commits intomasternoir-lang/noir:masterfrom

ab/remove-crate-dummynoir-lang/noir:ab/remove-crate-dummyCopy head branch name to clipboard