Switch from criterion to tasty-bench