Not to be that guy, but Massive does FM via the modulation oscillator, though it's only 2 operator FM. Also to continue being that guy, it doesn't actually do FM at all, but Phase Modulation, which is what the DX7 (and later emulations like FM8) also use.