z4-backed Rust verification (Kani-compatible, CHC/SMT backend) - View it on GitHub