Function verify_mi_nonnegative 

pub fn verify_mi_nonnegative<F>(mi: F, x: &[u8], y: &[u8]) -> bool
where
    F: Fn(&[u8], &[u8]) -> f64,

Verify mutual information non-negativity: I(X;Y) ≥ 0.