DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis