SuffixArray.Abs_Bucket_Insert_Verification