add test that uses expression_width in manifest

test_programs/execution_success/poseidon_bn254_hash_width_3/Nargo.toml

@@ -0,0 +1,8 @@
+[package]
+name = "poseidon_bn254_hash_width_3"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+expression_width = "3"
+
+[dependencies]

test_programs/execution_success/poseidon_bn254_hash_width_3/Prover.toml

@@ -0,0 +1,4 @@
+x1 = [1,2]
+y1 = "0x115cc0f5e7d690413df64c6b9662e9cf2a3617f2743245519e19607a4417189a"
+x2 = [1,2,3,4]
+y2 = "0x299c867db6c1fdd79dcefa40e4510b9837e60ebb1ce0663dbaa525df65250465"

test_programs/execution_success/poseidon_bn254_hash_width_3/src/main.nr

@@ -0,0 +1,9 @@
+use std::hash::poseidon;
+
+fn main(x1: [Field; 2], y1: pub Field, x2: [Field; 4], y2: pub Field) {
+    let hash1 = poseidon::bn254::hash_2(x1);
+    assert(hash1 == y1);
+
+    let hash2 = poseidon::bn254::hash_4(x2);
+    assert(hash2 == y2);
+}