Guaranteed immutable output

[tristan-f-r]

To support OSDF, all of our file names must be unique.

Adding this for deterministic algorithms is easier: In #320, we make all SPRAS files change their name whenever the SPRAS version is bumped.

For nondeterministic algorithms, we need more changes:

• feat!: typed PRA#run #329, which allows SPRAS algorithm arguments to be serialized and deserialized.
• feat: cli #332, which adds a SPRAS CLI.

This is all used in the #335 seeds PR, which will (when spras prepare [subcommand name TBD] from the SPRAS CLI is used) serialize the entire SPRAS configuration, including the seed parameters, to a new file, which can then be run with spras run. Since seeds now become a part of the SPRAS configuration when being ran, that guarantees us file immutability specifically for algorithms.

See #335.