continuous benchmarking

[wuputah]

Create repeatable benchmarks. Have "quick" benchmarks that run on a PR, and more substantial benchmarks when merged to main. Publicly display results of the benchmarks.