Updated build system to compile and verify benchmarks which can be verified.