Provide cheri_getunsealed() macro wrapping a lower-level builtin which
is a bit more programmer-friendly (or, at least, Robert-friendly).