Open Problems in AI Verification and Technical Transparency