Working on adding nested quantifier capabilities to QfWff.g4
Additional work on  the QF grammar.
Fixed most of the tests in QffWffCheckerTest
Now passes all tests in QfWffCheckerTest
Partial merge