“Increased investment in hardware verification technology is a robustly beneficial step toward enabling future international agreements on AI development.”