Every step along the way you increase the severity of the statement "If I'm fucked, then so is everyone using X". You stop when the set of people using X grows so large than you are sufficiently worthless in comparison.
Bruce Schneier already said that in 2006 [2]:
> It’s interesting: the “trusting trust” attack has actually gotten easier over time, because compilers have gotten increasingly complex
Since 2006 compilers have become even more sophisticated, but also much more complex, thus even harder to validate.
[1]: https://archive.org/details/reflections-on-trusting-trust
[2]: https://www.schneier.com/blog/archives/2006/01/countering_tr...
Also, https://www.teamten.com/lawrence/writings/coding-machines/
this would, in theory, allow you to make sure it doesn't contain any malicious code.
in reality, of course, this is rather impractical since you'd need to manually verify every single source file and every single line of code.