we should run benchmarks in CI and expose them on some github page like we do for the other flatsurf projects.