The hyperx has slightly better timings but not enough to make much of a difference. So whichever you prefer.The corsair that is 3600 is cl18... which would be best for that amd cpu?
The tuf is a solid choice. It and the tomohawk are the two most highly reviewed budget x570 mbs. The qvl is the mb manufacturers list of suggested memory kits.