Add a verifier for Reduce ops that computes expected output shape

[mrakitaTT]

In PR #1625 we are adding verifier for Reduce ops. In this verifier we should also add a check that depending on inputShape, reduceDims and keepDim computes the expected output shape and checks if it matches the actual output shape. This kind of check turns out to be really valuable when op is decomposed because it will usually require some data movement op that will change shape, and this is the best place to catch those kinds of errors.

Here is the stablehlo implementation of the same verifier check for the reference.