Synonym matching now works, and will use the user's synonymous names in the result even if they're different from what's stored in the phylogeny itself.
Pruner needs to have the updated list of taxa with the synonyms that are present in the phylogeny, or else those synonyms will be pruned out.