Add initial leanMetrics tracking

[shariqnaiyer]

Describe the feature

https://github.com/leanEthereum/leanMetrics/pull/4/files
https://github.com/leanEthereum/leanMetrics/pull/3/files

The above draft PR's by Katya propose a set of metrics that we should track for the PQ interop.

We want to start tracking these metrics in our Lean Client.

Additional context

No response