Add Ackermann benchmark.