interpreter: validate argument to string.split() for empty string

interpreter: validate argument to string.split() for empty string #9255