Support setting seed

[EricLBuehler]

No description provided.

[github-actions]

Code Metrics Report

  ===============================================================================
 Language            Files        Lines         Code     Comments       Blanks
===============================================================================
 C Header                2           35           28            0            7
 Dockerfile              1           34           25            0            9
 Happy                   1          442          369            0           73
 JSON                   12          105          104            0            1
 Python                 47         2043         1741           62          240
 TOML                   20          600          539            2           59
 YAML                    2           21           19            2            0
-------------------------------------------------------------------------------
 Jupyter Notebooks       4            0            0            0            0
 |- Markdown             2           77           32           31           14
 |- Python               2          196          169            1           26
 (Total)                            273          201           32           40
-------------------------------------------------------------------------------
 Markdown               30         2085            0         1585          500
 |- BASH                 5          101           98            0            3
 |- JSON                 1           12           12            0            0
 |- Python               5           92           82            0           10
 |- Rust                 7          442          396           22           24
 |- TOML                 2           75           63            0           12
 (Total)                           2807          651         1607          549
-------------------------------------------------------------------------------
 Rust                  203        62976        57168         1157         4651
 |- Markdown           104          959           13          894           52
 (Total)                          63935        57181         2051         4703
===============================================================================
 Total                 323        68341        59993         2808         5540
===============================================================================