KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code (ArXiv cs.CR Recent Papers, 2026)