Validate parameter expressions in rzz

[yaelbh]

In rzz gates, all parameter expressions, when evaluated with the corresponding parameter values, must be between 0 and pi/2.

Today we validate only parameters. We scan the circuit to collect a list of parameters that appear in rzz gates, then we check their values. The complexity of the value check is O(number of rzz parameters * number of parameter sets). With parameter expressions, this will increase to O(number of unique rzz parameter expressions * number of parameter sets).