A better assert for Rust