Circuit Transformations, Loop Fusion, and Inductive Proof