CheriBSD library and application benchmarks