Quint simulator docs

[younes-io]

Hi,
I come from the TLA+ background and trying to get familiar with Quint and found this doc page: https://quint.sh/docs/simulator

is this up-to-date? thank you

Note: I could help update docs by reading code (if allowed, of course; if someone shares the direction I could raise a PR; not sure if docs are also part of this repo)