Use new CHERI helper functions/macros to reduce libcheri verbosity; also move
more non-compiler support case code under suitable ifdefs.
Merge branch 'master' of https://github.com/CTSRD-CHERI/cheribsd