VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance