chore(test): add panicking tests for 'defunctionalize'

[michaeljklein]

Description

Problem*

Resolves https://github.com/noir-lang/noir/issues/8553

Summary*

This PR contains defunctionalize SSA pass tests that I found using ssa_afl_fuzzer

Additional Context

Documentation*

Check one:

• [x] No documentation needed.
• [ ] Documentation included in this PR.
• [ ] [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

• [x] I have tested the changes locally.
• [x] I have formatted the changes with Prettier and/or cargo fmt on default settings.

[TomAFrench]

@michaeljklein Do we have an issue for this? I'm good to merge this once we have one + a link to it.

[michaeljklein]

@TomAFrench I added one, but still need to add the other tests and update docs

[TomAFrench]

Following up on this. @michaeljklein can you add any necessary details surrounding these tests when you're back tomorrow?