ATLAS: Rigorous Claim Verification with Popperian Falsifiability