replace lazy_static with std::sync::LazyLock#546

serprex wants to merge 2 commits intoproptest-rs:mainproptest-rs/proptest:mainfrom

serprex:remove-lazy-staticserprex/proptest:remove-lazy-staticCopy head branch name to clipboard