Updated Z3 version in Corral CI to 4.8.8
Updated Z3 version in Corral CI to 4.8.8

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral