I finally figured out why my fluke 80K-40 HV probe was giving me troubles. The cup the tip screws into had broken loose from the resistor divider!
I soldered it back together and can now say with some certainty that I have 8.5 kV on the CRT anode while the schematic calls for 9kV.
