This adds a reference to the benchmarking tool generated as part of #205. It also documents recommended strategies for profiling, which fixes #206.