Function verify 

pub fn verify(
    sol: &[u8; 1264],
    solhash: &[u8],
    segment_vr_hash: &[u8],
    vr_b3: &[u8],
    diff_bits: u64,
) -> Result<bool, &'static str>