fix: guard Eq for [T] to avoid OOB on length mismatch (#9453)

Co-authored-by: Tom French <[email protected]>

Author: Galoretka

noir_stdlib/src/cmp.nr

@@ -117,8 +117,10 @@ where
 {
     fn eq(self, other: [T]) -> bool {
         let mut result = self.len() == other.len();
-        for i in 0..self.len() {
-            result &= self[i].eq(other[i]);
+        if result {
+            for i in 0..self.len() {
+                result &= self[i].eq(other[i]);
+            }
         }
         result
     }
@@ -542,7 +544,7 @@ where
 }
 
 mod cmp_tests {
-    use crate::cmp::{max, min};
+    use super::{Eq, max, min};
 
     #[test]
     fn sanity_check_min() {
@@ -559,4 +561,11 @@ mod cmp_tests {
         assert_eq(max(1_u64, 1), 1);
         assert_eq(max(255_u8, 0), 255);
     }
+
+    #[test]
+    fn correctly_handles_unequal_length_slices() {
+        let slice_1 = &[0, 1, 2, 3];
+        let slice_2 = &[0, 1, 2];
+        assert(!slice_1.eq(slice_2));
+    }
 }