I know we generally settled on staying fixed at v25.0.1 for now but I think we should consider upgrading to v25.2.0.
It fixes an issue with dramatically slowing down local mutations if the correct flag is not added and adds some context to delete match arm so that we can more precisely exclude functions that present delete match arm mutations.
This would allow us to skip the mutation in #778 if we decide to skip this single mutation.