Replace lazy_static with LazyLock

[programskillforverification]

We should be able to replace all lazy_static usages with OnceLock from the Rust standard library. This will bring us less dependencies.

[programskillforverification]

I would like to work on this.