Add cheri_bench: a simple benchmark for sandbox invoke.
fix type of cheri_get_cyclecount which is a 32-bit counter, not 64.