Remove executable bit on test files

Some test files had been marked executable by accident.
Improve test coverage for non-affine access functions

We now verify that such functions are correctly detected even in combination
with delinearization. This change is added to ensure we have good test coverage
for the subsequent delinearization fix.

We also remove unnecessary instructions from the test case.