SuffixArray.Simple_SACA_Verification