greenwasm_validation::validate
pub fn instruction( c: &Ctx, instruction: &Instr, ic: &mut InstrCtx) -> VResult<Valid>