`search.simulation` wired via tuning options

[thpani]

Currently, the search.simulation parameters are wired in via tuning options:

https://github.com/informalsystems/apalache/blob/59f3c1de4ab21b8865d040fc839cbb9e7b1c8eb4/mod-tool/src/main/scala/at/forsyte/apalache/tla/tooling/opt/SimulateCmd.scala#L16-L21

We should either refactor these into pass options, or rename "tuning options".