Investigate lower-than-allowed degrees after shifting of codewords

[jan-ferdinand]

The debug output of the test triton_prove_verify indicates that some codewords do not correspond to maximal degree codewords even after they have been shifted by what we currently assume to be the correct shift. Gut feel says that this is a soundness error.

Investigate why above phenomenon happens and apply any needed fixes.