Macro assert_leq

macro_rules! assert_leq {
    ($x:expr, $y:expr) => { ... };
}

Asserts that the first argument is less than or equal to the second.