fix: cast values before inserting them in the databus

[asterite]

Description

Problem

Resolves #8913

Summary

Also adds a couple of validations to make_array in the SSA interpreter to make sure the element count matches that of the element types, and that the element value types are the expected ones.

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: 6244fe9	Previous: 9071a7b	Ratio
test_report_zkpassport_noir-ecdsa_	154 s	105 s	1.47
test_report_zkpassport_noir_rsa_	2 s	1 s	2

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

CC: @TomAFrench

[jfecher]

@asterite what is the status of this PR?

[asterite]

It's ready to review. There's this discussion but the conclusion is that it should be safe to directly cast signed integers to Field.