performance optimizations for quantifier instantiation
removes some junks
bug fix in strings : change from assert to  alwaysassert
Merge branch 'master' of github.com:tiliang/CVC4