Update to Lean v4.10.0

[MackieLoeffel]

This MR updates the code to lean v4.10.0. This includes changing Std to Batteries and adapting the proofs. This is the first time I am working with Lean, so I don't know where the errors were coming from and if I fixed them in the right way. In particular, I am confused why the change to src/Iris/BI/Notation.lean was necessary.