fn verify_binaries() -> Result<()>
The assertions that prove the shipped binaries are what we think they are.