Enabled a few query file tests in crypto-tests where CVC4 was used
as an Oracle.
Disable the crypto-tests/t4_nadia.stp.cvc test for now because it runs
too slowly.
Enable a smt query file test where Z3 was used as an Oracle.