Interprocedural sroa
Replaces !58 (closed) (so that the pipeline will actually run). Plus a fix to the Juno test given the change in signature from interprocedural SROA.
Replaces !58 (closed) (so that the pipeline will actually run). Plus a fix to the Juno test given the change in signature from interprocedural SROA.