Suggest command-line options on typos
Don't allow --stats if not a statistics-enabled build
regressions should check models on unknown too, but quantifiers don't have to be simplified by check-model in that case
fixes for options