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.