PlonK: handle range-checks in sat — Fixes #5717

Anne-Laurerequested to merge
al@range-checks-8 into master

sat now verifies range-checks & fails when a range-check is not satisfied.

This MR also make Plompiler’s Range-checks tests use the Plompiler test framework.

Merge request reports