fix: Avoid overflow

By default `1` is assigned a 32-bit type, leading to overflow when
shifting left by 40 positions. Fixed with `u64` suffix, which forces
the expression to have type `u64` in which case shift left by 40
positions succeeds.

Co-authored-by: Ferdinand Sauer <ferdinand@neptune.cash>
Co-authored-by: Thorkil Schmidiger <thor@neptune.cash>

src/models/blockchain/transaction/validity/single_proof.rs

@@ -878,7 +878,7 @@ mod test {
     #[tokio::test]
     async fn invalid_discriminant_crashes_execution() {
         let pub_input = PublicInput::new(bfe_vec![0, 0, 0, 0, 0]);
-        for illegal_discriminant_value in bfe_array![-1, 3, 4, 1 << 40] {
+        for illegal_discriminant_value in bfe_array![-1, 3, 4, 1u64 << 40] {
             let init_ram: HashMap<_, _> = [(
                 FIRST_NON_DETERMINISTICALLY_INITIALIZED_MEMORY_ADDRESS,
                 illegal_discriminant_value,