WyCS: moved over quantifier instantiation code from WyRL example; predictably, more tests are now failing :( #373