Migrate nonlocal games: GHZ game classical #8139

Job	Run time
Build and test (windows-latest)	10m 17s
Clippy	1m 13s
Build and test (ubuntu-latest)	5m 42s
Build and test (macos-14)	7m 5s
Format	13s
Format Q# Files	48s
Rust Unit tests (windows-latest)	7m 17s
Rust Unit tests (ubuntu-latest)	3m 50s
Check web files	29s
Integration tests (windows-latest)	10m 49s
Rust Unit tests (macos-14)	3m 32s
Integration tests (ubuntu-latest)	6m 28s
Integration tests (macos-14)	6m 59s
Status Check	0s
	1h 4m 42s

Provide feedback