Function verify_non_negativity 

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

Verify non-negativity: d(x,y) ≥ 0.