Check safety for `combiners` to be longer than `sorted_evals`?

[Howard Wu]

          Is it safe for `combiners` to be longer than `sorted_evals`?

If not, we should add an ensure! on the lengths.

Originally posted by @howardwu in https://github.com/AleoHQ/snarkVM/pull/2203#discussion_r1429313975