docs: record Rust verifier 1.0.2 release#5

Dynamicfeedai merged 1 commit into

maindynamicfeed/df-verify:mainfrom

codex/record-rust-1.0.2-releasedynamicfeed/df-verify:codex/record-rust-1.0.2-releaseCopy head branch name to clipboard