You'd be still trusting the compiler. However many layers of checks you do, there's always something you need to trust.