CriticLeanBench: A Benchmark for Evaluating Mathematical Formalization Critics