Describir: Practical Verification of Peephole Optimizations with Alive.