New version of the CHERI ISA: Added the new CSeal instruction, changed the
syntax of CJALR.