Countering Trusting Trust Through Diverse Double-Compiling (DDC)