benchmarks no longer deftest

they can be run manually now