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