Verification of Visual Controllers via Compositional Geometric Transformations