Cleanup benchmarks

[joebebel]

Currently, the benchmarks are rather ad-hoc. It would be nice to use criterion to scientifically microbenchmark each part of the protocol, so that we can experiment with changes and see if they're beneficial.