Haha yeah it's not great. Now that I thought about it some more, I wonder if you could use decompiling to verify that the compiler is doing what it says it does. If you compile a minimal program, and then decompile the assembly, you could see if there are any instructions that shouldn't be there. It wouldn't be trivial, but seems like it is a possible way to check that the compiler isn't injecting something weird.