New START Verification: Fitting the Means to the Ends