Set up profiling

[xcthulhu]

In order to properly instrument performance, we need a system for profiling.

While there are criterion benchmarks, more extensive testing is necessary.