You're right - the evaluation board does violate specifications. This isn't a problem for short term use of the ADF4159 but, for long term reliability, the REFIN signal must meet the specifications.
You need a level translator. An easy option is to put a series resistor between the TCXO output and the REFIN pin.