chore(*): upgrade to Lean 3.33.0c (#9165)
My main goal is to fix various diamonds with `sup`/`inf`, see leanprover-community/lean#609. I use lean-master + 1 fixup commit leanprover-community/lean#615.
Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>
Co-authored-by: Vierkantor <vierkantor@vierkantor.com>
