Should `finalize_circuit` always `add_gates_to_ensure_all_polys_are_non_zero`?

[codygunton]

The work here is more complicated because almost every use of finalize_circuit does not add the extra gates. If we keep these extra gates then we should change the finalization function to also ensure. But with edge case handling, this ensuring function should go away.