Design by contract style assertions for Rust - View it on GitHub