Create benchmarks for proof generation and verification

Create benchmarks for proof generation and verification #223