An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs