An improved assert macro for Rust