It is important to know that FCV is set at the end of initial sync, since the behavior at the end of initial sync may vary depending on the FCV. 

Adding this invariant requires changing the initial syncer tests to explicitly set FCV.