2021.09.15 20:25:04 (1438207253098622977) from Daniel J. Bernstein:
Preliminary Rust support in #saferewrite version 20210915 from https://pqsrc.cr.yp.to. Under an hour to automatically verify that compiled sha256_200bytes/rust_sha2 (using AVX2) matches compiled C ref, much faster to automatically find the bug in sha512_300bytes/rust_sha2_097.