miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward