I've never used one of Trenz's products but I've always liked how accessible their product documentation is. They've been around forever and I wouldn't hesitate to use them if I needed to.
AFAIK the free Vivado edition doesn't support the XC7K325T, only the XC7K160T. So if you go with the KC705 board and don't already have a paid-up Vivado license, make sure it still has a valid entitlement certificate for Vivado. The KC705 I bought several years ago for a specific project came with an ISE 14 certificate, and I'm sure I'd be up the creek if I needed to use it today.