ruff

[red-knot] make large-union benchmark more challenging

#17416

Merged