Function sat_subu 

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

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

Sets vxsat to true on overflow (underflow to negative).