Make sure we initialise IsCheri to false so that the __CHERI* macros
don't show up in non-CHERI mode.