verify-rust-std

Update Kani Metrics (#241)

Fix challenge 15 (SIMD) link and title (#240)

New Challenge 15 - High-Assurance SIMD Intrinsics for Rust (#174)

Generate Kani Metrics (#235)

Run format check in our CI and fix repo format (#205)