> The argument here is that open source code can be verified where closed source is explicitly non-verifiable by nature.

This is not a belief that people who actually do software security audits hold. Verifying binary only software is table stakes to a security audit of a third party application as you cannot trust the source provided.

Having source is a bonus for security audits not a requirement.