Major-version update cargo dependencies

Updates as suggested by `cargo outdated --workspace`, and now including `toml`
(which was held back in model-checking#4240): upgrading `toml` from 0.8 to 0.9 required
changes to our use of `from_str`.

Author: tautschnig