Benchmarking Script #311
Description
Once #310 is resolved, we need a benchmarking script that can run and summarize the results of various benchmarks. Google benchmark is good for this kind of thing, although I'm not sure how applicable it is given the current structure of the benchmarks.