Fix `LazyRandom` for native code generation tools#85

Merged

cowtowncoder merged 1 commit intocowtowncoder:masterfrom

Maia-Everett:lazyrandom

Oct 25, 2023

Commits on Oct 12, 2023

Use in-code lazy initialization for LazyRandom (for compatibility with native code generation tools)
Maia-Everett
committed