Use SBV 3.2's defaultSMTConfig function