TODOs in `plonk/proof_system/widgets/transition_widgets/arithmetic_widget.rs`

[Autoparallel]

Arithmetic Widget

Implement:

• [ ] quotient_required_challenges()
• [ ] update_required_challenges()
• [ ] sum_linear_terms()
• [ ] compute_non_linear_terms()

[laudiacay]

note compute_non_linear_terms will never be used and should stay unimplemented