Update benchmarks; the latest change made a big difference in speed of HMM code