Benchmarks now use singleton Server.

The benchmarks were broken because multiple Server instances with the same
identifier were being instantiated at the same time.  This fix allows
the benchmarks to run once again.

Fixes 547.