Macro sanity_check

macro_rules! sanity_check {
    ($ctx:expr, $span: expr, $b: expr) => { ... };
    ($ctx:expr, $span: expr, $b: expr, $($fmt:tt)*) => { ... };
}

Custom assert to report an error and optionally panic