feat: conjunctive & negative normal forms (#1857) #6365

Job	Run time
Python (lint)	3m 45s
Rust (docs)	1m 32s
Python (test)	4m 35s
bench test	7m 2s
Check generated proto/fbs files are up to date	43s
Rust build (all-features)	8m 27s
License Check and Audit Check	4m 6s
miri	21m 24s
Rust build (default features)	4m 48s
Rust (lint)	6m 3s
Rust build (with tokio dispatcher)	4m 49s
Rust build (with compio dispatcher)	6m 25s
Rust build (with tokio+compio dispatcher)	5m 18s
Rust (tests)	5m 43s
Rust build (wasm32 with default features)	1m 55s
	1h 26m 35s

Provide feedback