Halderman: The presidential election was ‘probably not’ hacked — but the votes should be checked