Fix quantifier instantiation bug in cbqi, add default priorities in rewrite engine.
fix for win32 option parsing via mingw32
fixes for mingw win64