Bug fix for E-matching select terms, minor fix for bounded integers, bug fix to improve performance of quantifiers rewriter