PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs - View it on GitHub