Add simplification option --fo-prop-quant.  Add model support for new model-checking procedure.  Add run script for casc24-fnt.