Enable two more query file crypto-tests. CVC4 was used as an oracle for
these tests.