run.sh: sync up with model-checker improvements