There's been many bugs found in Lean already, and there are probably still a few. So that's not the main issue.