strict_on_arguments blocking normalization

Another issue with the normalizer being stuck on `strict_on_arguments` while it shouldn't:
```
[@(strict_on_arguments [1])]
let f1 (x y : unit) = ()
let f2 = f1 ()
let x = f2 () // Reduces to [f1 () ()] instead of [()]
```
Note that `x` reduces correctly if we define:
```
let f2 y = f1 () y
```

Start by tracing the normalizer behavior for strict_on_arguments using the minimal f1, f2, and x example in the issue. Compare it with the wrapper form that reduces correctly, and verify that the original form reduces to the expected unit value.

Written by the indexing model from the issue text.