Disable timeout test for CVC4 1.8

[langston-barrett]

Work around #278 for now.

[langston-barrett]

Hmm, one of the variants is failing with

    int mux:                                 FAIL (2.02s)
        ✗ int mux failed 
          after 500 tests.

I wonder if this is just a failure case that is rarely hit by the random generator?

[RyanGlScott]

When it rains, it pours. In nothing else, I'm happy to see at least some of the flaky tests become hidden :)

I wonder if this is just a failure case that is rarely hit by the random generator?

I think so, since restarting the job makes that test case pass.