SHF module - missing byte constraints?

[booleanfunction]

SHB_3_HI, … SHB_7_LO have byte constraints in the spec but not in Corset

Should they all be :byte@prove?

[letypequividelespoubelles]

I think we should release the bytehood constraint in the spec, as their values are explicitly define from (byte) values from the lookup ref table @OlivierBBB

[OlivierBBB]

In this precise case these constraints aren't needed since, if I remember correctly, SHB_3_HI is constructed manually from input bytes and lookup'd values and the remaining columns (SHB_4_LO, …, SHB_7_LO) are obtained from one another by moving stuff around --- stuff that is already known to be bytes.