Experimenting with Theory Instantiation in Vampire