test-prove-verify: clarified implementation of to256BitValueExact
test-prove-verify: clarified implementation of to256BitValueExact

ScorexFoundation/sigmastate-interpreter,ScorexFoundation/sigmastate-interpreter