pub(crate) fn run_charon() -> Result<usize, CharonFailure>
Run charon. Returns the number of warnings generated.