Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies