I am 5'4" and I ride 52 cm Trek road bikes. I have a 2017 Silque (women's Domane} SLR 6 and a 2021 Domane SLR 7. I had pro bike fits for both. They are fast at least for this 70 yo engine and very comfortable. The iso zone on the SLR models makes a significant difference in comfort. With a group of friends, I ride my age each year on one of these bikes. You really can't go wrong with any of the bikes on your list. as long as they fit. Good lock!
__________________
2011 Trek Madone 5.2 WSD
2009 Trek 2.1 WSD