Cards based on Broadcom BCM4313 chip are unsupported so those go out of the way and other cards based on BCM431x chips were dropped from Sierra; so these are out of the way too.
That leaves you with the Atheros cards but you're highly likely to encounter troubles with the AR5B225 because it's poorly supported and so, I don't recommend this at all. Out of the 4 x cards of your list, I could only advise to go for the AR5BHB92, which also happens to work OOB.