Multi-qubit conditions in DeferredMeasurementsTransformer

[daxfohl]

Use #5755 to allow control keys from multi-qubit measurements in deferred measurements transformers. That new feature allows us to express "anything but all zeros", which is the condition required.

Cirq/cirq-core/cirq/transformers/measurement_transformers.py

Lines 121 to 124 in 77b61f5

	# TODO: Multi-qubit conditions require
	# https://github.com/quantumlib/Cirq/issues/4512
	# Remember to update docstring above once this works.
	raise ValueError('Only single qubit conditions are allowed.')

[daxfohl]

Reopening, new SumOfProducts does what is needed.