Removed legacy opcodes from the previous CHERI ISA: csealcode, csealdata,
csettype.