Witgen produces wrong witness when reordering constraints

[Schaeff]

in std::split::split_bn254.asm, we have:

[ bytes, BYTES_MAX, lt, gt ] in [ P_A, P_B, P_LT, P_GT ];
was_lt = RESET' * lt + (1 - RESET') * (was_lt' + lt - was_lt' * lt);

If the two constraints are swapped, witgen succeeds but halo2-mock (and pilcom in the gl equivalent) fails.

Note the comment on the was_lt constraint:

// Compute whether the current or any previous byte has been less than
// the corresponding byte of the maximum value.
// This moves backward from the second to last row.

logs here