port CE bench and check-ce bench to newer versions of provers
The current benches for CEs are performed with CVC4 1.7 and Z3 4.8.4. They should be upgraded to CVC4 1.8 and Z3 4.8.10 or more, ideally Z3 4.8.14.
Not the the support for Z3 versions greater than 4.8.10 should be integrated before, see issue #604 (closed)