SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications (ArXiv cs.MA Recent Papers, 2026)