Add benchmarking stuff.

Ackermann's got a known large running time and easy-to-verify results.