Add missing metrics from leanMetrics

We have a checklist of supported metrics from [leanMetrics](https://github.com/leanEthereum/leanMetrics/blob/main/metrics.md) under `docs/metrics.md`. We should add the remaining metrics.