Function greenwasm_validation::validate::instruction_sequence

pub fn instruction_sequence(
    c: &Ctx, 
    instruction_sequence: &[Instr], 
    ic: &mut InstrCtx
) -> VResult<Valid>