CrossHair is missing symbolic support for `str.split` without arguments

[pschanely]

This is just an oversight from the original implementation.

If you specify a separator, CrossHair reasons about the split reasonably well; but Python's zero-arg form of split is quite different, behaviorally. At any rate, this should be fairly easy to implement be delegating to a regex.