remove constraints on z3 in gitlab-ci.yml

1 job for master in 27 minutes and 18 seconds (queued for 7 seconds)