Temporary upper bound on Iris version for tc_solve.

9 jobs for ci/iris-4-disj in 67 minutes and 2 seconds (queued for 10 seconds)