Text this: Security proofs for the MD6 hash function mode of operation