Counterexample-Guided Inductive Repair of Reactive Contracts