Iris-Lean has been updated to v4.34.1