AFAIK the expansion board should support an OCXO option. There's no clock connection from the expansion board to hmc7044. Consider adding a clock mux such as 854S01AKILF (or cheaper). Glitch-free switching is not required.