feat: replace bitwise ANDs used for truncation with Instruction::Truncate

feat: replace bitwise ANDs used for truncation with Instruction::Truncate #3206