chore: validate that all jmpif conditions are boolean

[TomAFrench]

Description

Problem*

Resolves

Summary*

We're currently allowing SSA which has non-boolean types for the jmpif conditions. This PR adds a validation to ensure that this cannot happen in our test code.

Additional Context

Documentation*

Check one:

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

PR Checklist*

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

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: e34c9d0	Previous: affa972	Ratio
test_report_zkpassport_noir-ecdsa_	2 s	1 s	2
test_report_zkpassport_noir_rsa_	1 s	0 s	+∞

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench