Machine learning's abiding weakness is verification