tests for cvc4; a basic division test is currently segfaulting on the Mac.  Waiting for the bug fix before incorporating the tests into the all-tests suite