Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays