Macro antithesis_sdk::assert_sometimes_less_than_or_equal_to

macro_rules! assert_sometimes_less_than_or_equal_to {
    ($left:expr, $right:expr, $message:literal$(, $details:expr)?) => { ... };
    ($($rest:tt)*) => { ... };
}

assert_sometimes_less_than_or_equal_to(x, y, ...) is mostly equivalent to assert_sometimes!(x <= y, ...), except Antithesis has more visibility to the value of x and y, and the assertion details would be merged with {"left": x, "right": y}.