verify Data.Text.drop

this required adding a check against the actual number of Chars, not
just the len parameter, so it changes the running time. should really
find a way to prove that the inner loop handles that check..