Verifying Rust Zeroize with Assembly Including Portable SIMD

Clearing memory of secrets is a black art. This post is a summary experiments I ran to convince myself that memory in Rust _really_ is being Zeroized.