Function sat_addu 

pub fn sat_addu(a: u64, b: u64, sew: Vsew, vxsat: &mut bool) -> u64

Saturating unsigned add: vs2 + src, clamped to [0, 2^SEW - 1].

Sets vxsat to true on overflow.