Macro charon_lib::error_assert

macro_rules! error_assert {
    ($ctx:expr, $span: expr, $b: expr) => { ... };
    ($ctx:expr, $span: expr, $b: expr, $msg: expr) => { ... };
}

Custom assert to either panic or return an error