Fix resolve_polytomies()
Update treesplit.encode_splits()