Robots Could Verify Compliance with Nuclear Arms Agreements