anulado por seu pai.
Eu não sei sobre Westeros, mas em nosso mundo isso normalmente significa que o casamento é declarado inválido desde o início, por exemplo, a igreja católica permite anulação se for descoberto que o casal é primo. Isso não é o mesmo que o divórcio, já que se considera que o casal nunca foi casado de maneira adequada.
Portanto, para responder diretamente à sua pergunta: Não, eles provavelmente não se divorciaram - o mundo de Westeros é suficientemente semelhante à Europa medieval para presumir que a anulação significa o mesmo ali. Isso tornaria o casamento de Tyrion com Sansa completamente válido, pelo menos no que diz respeito a esse assunto em particular.