use wrapping_add for _kadd intrinsics

[sayantn]

Intel specifies these as follows (e.g. for _kadd_mask16)

k[15:0] := a[15:0] + b[15:0]
k[MAX:16] := 0

so these should use wrapping_add

[rustbot]

r? @folkertdev

rustbot has assigned @folkertdev.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer