Lean now ships with verified kernels