[red-knot] Use ternary decision diagrams (TDDs) for visibility constraints #40020

Job	Run time
Determine changes	13s
cargo fmt	21s
mkdocs	2m 27s
cargo build (release)	0s
pre-commit	3m 21s
python package	1m 22s
cargo clippy	2m 7s
cargo build (msrv)	5m 15s
cargo shear	31s
cargo fuzz build	4m 53s
cargo test (linux)	2m 13s
cargo test (wasm)	1m 50s
cargo test (windows)	4m 24s
cargo test (linux, release)	4m 2s
benchmarks	4m 16s
formatter instabilities and black similarity	3m 21s
test scripts	1m 8s
fuzz parser	5m 41s
test ruff-lsp	43s
ecosystem	4m 9s
	52m 17s

Provide feedback