Adds more lattice hash tests (anza-xyz#3137)

lattice-hash/src/lt_hash.rs

@@ -130,6 +130,7 @@ mod tests {
         let a = LtHash::new_random();
         let b = LtHash::new_random();
         assert_eq!(a, a + b - b);
+        assert_eq!(a, a - b + b);
     }
 
     // Ensure that mixing is commutative
@@ -149,6 +150,16 @@ mod tests {
         assert_eq!((a + b) + c, a + (b + c));
     }
 
+    // Ensure that mixing out respects distribution
+    #[test]
+    fn test_distribute() {
+        let a = LtHash::new_random();
+        let b = LtHash::new_random();
+        let c = LtHash::new_random();
+        let d = LtHash::new_random();
+        assert_eq!(a - b - c - d, a - (b + c + d));
+    }
+
     // Ensure the correct lattice hash and checksum values are produced
     #[test]
     fn test_hello_world() {