Peek: a verified peephole optimizer for CompCert - View it on GitHub