Claim Verification in the Age of Large Language Models: A Survey