`--report-gpu` can report false positives

[e-kayrakli]

We have some logic in the compiler where GPU transforms could fail much later due to various reasons. An example is unsupported reductions. Here's an example with && reduction:

var D = {1..10};
var A: [D] 4*uint(16);

proc foo(A:[?D] ?t): bool {
  var sorted: bool;
  sorted = true;
  @assertOnGpu
  forall (a,i) in zip(A,D) with (&& reduce sorted) {
    if i > D.low {
      sorted &&= (A[i-1] <= a);
    }
  }
  return sorted;
}

writeln(foo(A));

In the code above, assertOnGpu fails correctly. However, removing it and compiling with --report-gpu reports the loop to be eligible.

---

FWIW, the compiler code for GPU transforms could use a big rework. The whole "late gpuization failure" logic seems to be a workaround that we should avoid. I would like us to not try to put a band-aid on this --report-gpu issue, but just fix it by way of reworking the compiler implementation, instead.