Fast DEFLATE compression in Lean