Minor fix for --no-condense-function-values
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