At least in some cases it is easier to verify bytecode/assembly than source code.