WIP: Fixup: microsoft/compiler: Pass return type to instructions

When we started storing the return-type in the instruction, we incorrectly only accounted for a single index to deref for GEP.

This fixed up that, and also allows us to deref arrays. We've since started depending on both, so without this, we assert in the test-suite.