fix: change bound for `add` and `add_const` verify functions

Closes #66

Merge request reports

Loading