More benches with coq.dev