Enable configuring constants via CLI param to `run` command

[shonfeder]

@p-offtermatt pointed out in the co-design meeting today that the simulator lacks the equivalent of apalache's cinit. This makes it a bit cumbersome to script instantiation, since it requires writing expressions to a file.