Add constraints on operands in proof object.

[franck44]

For each segment, we now the net effect on the stack size.

To do

Add this information to the proof object in the form of a constraint

s'.Operands() == s0.Operands + number