Macro assert_always_some

macro_rules! assert_always_some {
    ({$($($name:ident: $cond:expr),+ $(,)?)?}, $message:literal$(, $details:expr)?) => { ... };
    ($($rest:tt)*) => { ... };
}

assert_always_some({a: x, b: y, ...}) is similar to assert_always(x || y || ...), except:

• Antithesis has more visibility to the individual propositions.
• There is no short-circuiting, so all of x, y, … would be evaluated.
• The assertion details would be merged with {"a": x, "b": y, ...}.