A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation