Macro check

macro_rules! check {
    ($interp:expr, $min:ident) => { ... };
}

Check if the SPEC is enabled, and fail the instruction if it is not.