I find that the null termination for 8-bit strings makes low-level parsing operations (e.g., parsing a numeric string) safer and easier:  for example, it makes skipping a series of digits with something like:

while (isdigit(*s)) ++s;

safe.  I'd imagine that null terminated PyUNICODE arrays would have similar benefits.