Soundness in relation to `shift`

[Sword-Smith]

Let's check if all the shift values in the non-linear combination have the correct value. If it's too low, it will affect soundness.