Fixed verify_tac depending on iris.heap_lang.

9 jobs for ci/iris-4-update in 32 minutes and 14 seconds (queued for 6 seconds)