Text this: Bounded Quantifier Instantiation for Checking Inductive Invariants