initial modifications for per-ic cbqi
Minor fixes for --fmf-fmc for quantifiers containing datatypes
Minor cleanup.
--segv-nospin is now default.
Better S-Expr printing, for e.g. :all-options and :all-statistics.