Code, Algorithms, and Proofs from CLRS