Short-circuit evaluation does not work with subroutines

The gapil resolver moves subroutine calls out of expressions so that aborts can be handled.
However, this breaks short-circuit evaluation. Consider:

```
x := y && SubWithSideEffect()
```

This will be transformed to:

```
tmp := SubWithSideEffect()
// logic to check SubWithSideEffect did not abort
x := y && tmp
```

This is very tricky to fix with the current template codegen, but far easier to solve with the new compiler.