Stop defeating loopy correctness checks

E.g. here:

https://github.com/inducer/sumpy/blob/7aa3dd8c129d5f8404922b0c5083962c92e38b06/sumpy/e2e.py#L652-L653

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.

Inizia in sumpy/e2e.py alle righe 652-653 e traccia il modo in cui i controlli di correttezza di loopy vengono disabilitati e da dove deriva il loro costo. Determina un modo praticabile per mantenere tali controlli, quindi verifica che i controlli di correttezza end-to-end vengano ancora eseguiti e rilevino gli errori di trasformazione senza avere un costo proibitivo.

Scritto dal modello di indicizzazione a partire dal testo della issue.