Function cmovne_remainder 

fn cmovne_remainder<T>(
    a_remainder: &[T],
    b_remainder: &[T],
    input: Condition,
    output: &mut Condition,
)
where
    T: Copy,
    u64: From<T>,

Compare the two remainder slices by loading a Word then performing cmovne.