Ensure constraint correctness in recursive verifiers

[ledwards2225]

This is a catch all issue for a handful of known (and likely some unknown) issues with constraints in the recursive verifiers, particularly in Sumcheck/Zeromorph where native and circuit code coincide. This includes use of disconnected witnesses and use of pow(size_t) in ways that are not not strictly correct.