Turn strings-exp off by default (for the release)

Andy and Tianyi, please have a look.  I disabled strings-exp by default.  But then I noticed that in SmtEngine::setDefaults() the strings stuff occurred twice.  So I removed the later block, which was a near-repeat copy except for turning on fmfBoundIntLazy---and I copied that to the former block.

All look good?