Data.String: add a test for themis

Data.Stringのthemis版です。specそのまま変換しました。