some portfolio driver cleanup
Don't allow --stats if not a statistics-enabled build
Fixes for building with mingw win64.
Regressions now checking models on unknown too.  But quantifiers don't have to be simplified by check-model in that case.
Suggest command-line options on typos