Comment by Animats

That's a brutal way to do verification, at the machine code level. But it's worth it in today's threat environment.