If the Twins don't pick up his option, he is still arbitration eligible and is not a free agent. So the option becomes a question of whether they think that he would get that much in arbitration or not.
However, MLBTR is saying it is a mutual option, which would change the option from being a cap on what he can make next year to us having to pay $100k if we don't pay him $13M