CI: reuse poly rewrites only when dominated#6

1sgtpepper wants to merge 19 commits into

ci/poly-fixes-v5-base1sgtpepper/llzk-lib:ci/poly-fixes-v5-basefrom

fix/poly-rewrite-dominance1sgtpepper/llzk-lib:fix/poly-rewrite-dominanceCopy head branch name to clipboard