Added CPROVER_assumes to benchmarks where applicable