Conversion of quint indices operator has indices off by one

[shonfeder]

We're not correcting for the 1 based indexes after we get the domain. To fix this, we can

match DOMAIN seq with
| {} -> {}
| s  -> diff (union s {0}) {length seq}