test: big numbers for `add` and `add_const` in binary circuit

Related to #12

Merge request reports

Loading