ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation