Why we use proptest and Kani in kcore

Rust’s borrow checker and type system rule out memory errors and a lot of API misuse. They do not...