I've uploaded the firmware with the phase discriminator support. At the moment, I'm getting results like this:

I'll know more about the ADEV in a few hours when the first day's worth of data is collected, but you can see that it's mostly staying inside of a 50 ns phase corridor. I was kind of hoping that the frequency would be a bit more tightly controlled. Maybe that can come with more tuning or firmware improvements.