Remove one off index check for -simulate argument.
Remove one off index check for -simulate argument.

Merges Github PR #610
https://github.com/tlaplus/tlaplus/pull/610

[Bug][TLC]
tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus