Enable Miri for tests and in CI workflow. Maybe Kyron can be used as a basis.
Enable Miri for tests and in CI workflow. Maybe Kyron can be used as a basis.