test(verify): RED — verify() on a shared &self for parallel decompression

verify() hashes the whole image; MD5/SHA1 are serial, but the zlib
decompression (the CPU cost) is not. The parallel consumer requires verify to
take &self so chunks can decompress concurrently. Adds a test that calls
verify() on a non-mut binding (forces &self) and asserts the computed MD5
still matches exfat1.E01's stored MD5 — i.e. parallel decompression
reproduces the exact serial byte stream.

Fails to compile today: verify is &mut self. GREEN parallelizes the
decompression behind a &self signature.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Author: h4x0r

ewf/tests/concurrent_reads.rs

@@ -82,3 +82,19 @@ fn concurrent_reads_of_same_chunk_are_stable() {
         }
     });
 }
+
+/// `verify()` must run through a shared `&self` so it can decompress chunks in
+/// PARALLEL (MD5/SHA1 are serial, but zlib decompression — the CPU cost — is
+/// not). A non-mut binding forces the `&self` signature; the computed MD5 must
+/// still match the stored hash, i.e. parallel decompression reproduces the
+/// exact serial byte stream. exfat1.E01 ships a stored MD5.
+#[test]
+fn verify_runs_on_shared_ref_and_matches_stored_md5() {
+    let reader = EwfReader::open(data("exfat1.E01")).expect("open");
+    let result = reader.verify().expect("verify");
+    assert_eq!(
+        result.md5_match,
+        Some(true),
+        "parallel verify's computed MD5 must match the stored MD5"
+    );
+}