Add initial support for SANITIZE and a simple test to generate this opcode.