Add ci job for simd models tests, with logging of rng seed.#5

karthikbhargavan merged 5 commits intomaincryspen/verify-rust-std:mainfrom

mb/ci-rng-seedcryspen/verify-rust-std:mb/ci-rng-seedCopy head branch name to clipboard