fix(core): Remove dummy constraint

[Nashtare]

Removes a constraint that asserts nothing in the evaluation of ShiftRightChip. Note that I haven't reviewed the whole associated constraint set, hence do not know if this is a miswritten constraint leading to an under-constrained system or simply a leftover.