Function sacabase::verify

pub fn verify<Index>(input: &[u8], sa: &[Index]) -> Result<(), NotSorted> where
    Index: ToPrimitive, 

Returns an error if sa is not the suffix array of input, Ok(()) otherwise.