Add ProtocolSpecification to API #8557

Job	Run time
Format	13s
Build and test (windows-latest)	8m 15s
Clippy	33s
Format Q# Files	52s
Build and test (ubuntu-latest)	5m 44s
Build and test (macos-14)	5m 56s
Integration tests (windows-latest)	10m 40s
Rust Unit tests (windows-latest)	6m 55s
Check web files	33s
Integration tests (ubuntu-latest)	6m 1s
Rust Unit tests (ubuntu-latest)	4m 9s
Integration tests (macos-14)	6m 48s
Rust Unit tests (macos-14)	3m 13s
Status Check	0s
	59m 52s

Provide feedback