Fully Countering Trusting Trust Through Diverse Double-Compiling