Verifying Why zeroize Matters: Dead-Store Elimination and Memory Remanence in Rust

Part 2 of the "Building a Memory-Safe File Encryptor in Rust" series. Part 1 covered the encryptor's design decisions - Argon2id, AES-GCM, the file format, and a first pass at zeroizing secrets in mem