fix(r1cs): We add a range check to the chunk

[mw2000]

Should solve #512

[moodlezoup]

thanks for looking into this Mihir! This approach works, but I think for performance reasons we'd prefer to use Lasso-style range checks (similar to what we do in timestamp_range_check.rs). Justin also has some ideas on how we could do them even more efficiently, so I was planning on tackling these range checks myself in the coming weeks