[hermes] Add some tests for Charon invocation #9678

Job	Run time
Run tests under Kani	7s
Check for todo comments	16s
Check that all toolchains listed in Cargo.toml are tested in CI	18s
zizmor	6s
Generate cache	6s
Run Git hooks	19s
Check all-jobs-succeeded depends on all jobs	18s
Check MSRV is minimal	1s
Check GitHub Actions	1s
Check stale stderr files	1s
Check README.md	1s
Generate code coverage	1s
Build & Test (${{ matrix.crate }} / ${{ matrix.toolchain }} / ${{ matrix.features }} / ${{ matrix.target }})	1s
Check Rust formatting	1s
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)	1s
Build (zerocopy / nightly / --simd / avr-none)	1s
Check crate versions match	1s
All checks succeeded	1s
	1m 41s

Provide feedback