Stop defeating loopy correctness checks

[inducer]

E.g. here:

sumpy/sumpy/e2e.py

Lines 652 to 653 in 7aa3dd8

	loopy_knl = lp.set_options(loopy_knl,
	enforce_variable_access_ordered="no_check")

I get that they're infeasibly costly. But let's fix that instead of just turning them off. I think they can potentially help catch bugs, especially as we do more complex transformations.