Macro antithesis_sdk::assert_always_greater_than_or_equal_to

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

assert_always_greater_than_or_equal_to(x, y, ...) is mostly equivalent to assert_always!(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}.