IRGen: Re-enable and fix some tests in protocol_resilience.sil I forgot about
IRGen: Re-enable and fix some tests in protocol_resilience.sil I forgot about

sschiau/swift,djwbrown/swift,SwiftAndroid/swift,roambotics/swift,shahmishal/swift,tinysun212/swift-windows,therealbnut/swift,roambotics/swift,CodaFi/swift,aschwaighofer/swift,benlangmuir/swift,calebd/swift,tinysun212/swift-windows,natecook1000/swift,glessard/swift,JGiola/swift,JaSpa/swift,jmgc/swift,sschiau/swift,jckarter/swift,tjw/swift,aschwaighofer/swift,alblue/swift,tjw/swift,djwbrown/swift,johnno1962d/swift,IngmarStein/swift,russbishop/swift,gregomni/swift,austinzheng/swift,swiftix/swift,shajrawi/swift,jmgc/swift,austinzheng/swift,kperryua/swift,hooman/swift,return/swift,SwiftAndroid/swift,felix91gr/swift,tkremenek/swift,therealbnut/swift,alblue/swift,nathawes/swift,CodaFi/swift,SwiftAndroid/swift,parkera/swift,uasys/swift,natecook1000/swift,JaSpa/swift,gregomni/swift,dduan/swift,harlanhaskins/swift,deyton/swift,arvedviehweger/swift,calebd/swift,tkremenek/swift,uasys/swift,therealbnut/swift,codestergit/swift,natecook1000/swift,bitjammer/swift,sschiau/swift,allevato/swift,brentdax/swift,johnno1962d/swift,ken0nek/swift,jtbandes/swift,JGiola/swift,deyton/swift,gregomni/swift,return/swift,kperryua/swift,gregomni/swift,KrishMunot/swift,roambotics/swift,tardieu/swift,calebd/swift,brentdax/swift,JGiola/swift,johnno1962d/swift,gmilos/swift,gottesmm/swift,sschiau/swift,natecook1000/swift,tkremenek/swift,shajrawi/swift,lorentey/swift,rudkx/swift,practicalswift/swift,KrishMunot/swift,karwa/swift,jopamer/swift,tjw/swift,alblue/swift,milseman/swift,gmilos/swift,gribozavr/swift,aschwaighofer/swift,huonw/swift,apple/swift,uasys/swift,Jnosh/swift,stephentyrone/swift,glessard/swift,therealbnut/swift,gribozavr/swift,dduan/swift,jopamer/swift,tinysun212/swift-windows,IngmarStein/swift,huonw/swift,dduan/swift,felix91gr/swift,harlanhaskins/swift,swiftix/swift,ken0nek/swift,shahmishal/swift,parkera/swift,tardieu/swift,allevato/swift,karwa/swift,danielmartin/swift,lorentey/swift,JaSpa/swift,karwa/swift,gribozavr/swift,amraboelela/swift,harlanhaskins/swift,felix91gr/swift,felix91gr/swift,atrick/swift,harlanhaskins/swift,kperryua/swift,codestergit/swift,ahoppen/swift,jmgc/swift,russbishop/swift,tinysun212/swift-windows,ahoppen/swift,CodaFi/swift,CodaFi/swift,alblue/swift,karwa/swift,tardieu/swift,tkremenek/swift,devincoughlin/swift,return/swift,atrick/swift,stephentyrone/swift,dduan/swift,frootloops/swift,uasys/swift,danielmartin/swift,xwu/swift,danielmartin/swift,harlanhaskins/swift,felix91gr/swift,deyton/swift,stephentyrone/swift,tinysun212/swift-windows,glessard/swift,allevato/swift,huonw/swift,codestergit/swift,dduan/swift,dduan/swift,brentdax/swift,jckarter/swift,danielmartin/swift,parkera/swift,gottesmm/swift,codestergit/swift,therealbnut/swift,jopamer/swift,zisko/swift,harlanhaskins/swift,ahoppen/swift,brentdax/swift,devincoughlin/swift,tkremenek/swift,gregomni/swift,rudkx/swift,KrishMunot/swift,practicalswift/swift,ken0nek/swift,uasys/swift,tardieu/swift,KrishMunot/swift,johnno1962d/swift,therealbnut/swift,devincoughlin/swift,CodaFi/swift,airspeedswift/swift,natecook1000/swift,deyton/swift,parkera/swift,kstaring/swift,devincoughlin/swift,bitjammer/swift,ben-ng/swift,karwa/swift,ken0nek/swift,milseman/swift,CodaFi/swift,russbishop/swift,practicalswift/swift,manavgabhawala/swift,hughbe/swift,jmgc/swift,airspeedswift/swift,codestergit/swift,gmilos/swift,austinzheng/swift,gribozavr/swift,atrick/swift,jopamer/swift,shajrawi/swift,OscarSwanros/swift,JaSpa/swift,gribozavr/swift,tjw/swift,uasys/swift,austinzheng/swift,tinysun212/swift-windows,nathawes/swift,milseman/swift,KrishMunot/swift,lorentey/swift,manavgabhawala/swift,amraboelela/swift,OscarSwanros/swift,rudkx/swift,frootloops/swift,frootloops/swift,danielmartin/swift,rudkx/swift,kperryua/swift,shahmishal/swift,gmilos/swift,IngmarStein/swift,swiftix/swift,practicalswift/swift,lorentey/swift,harlanhaskins/swift,parkera/swift,johnno1962d/swift,deyton/swift,djwbrown/swift,dreamsxin/swift,swiftix/swift,manavgabhawala/swift,uasys/swift,russbishop/swift,shahmishal/swift,gmilos/swift,modocache/swift,xwu/swift,stephentyrone/swift,ken0nek/swift,austinzheng/swift,ahoppen/swift,apple/swift,tardieu/swift,shajrawi/swift,JaSpa/swift,sschiau/swift,arvedviehweger/swift,alblue/swift,bitjammer/swift,hughbe/swift,tardieu/swift,kstaring/swift,tkremenek/swift,bitjammer/swift,hooman/swift,russbishop/swift,modocache/swift,hughbe/swift,IngmarStein/swift,manavgabhawala/swift,Jnosh/swift,xedin/swift,nathawes/swift,jckarter/swift,gottesmm/swift,shahmishal/swift,OscarSwanros/swift,xwu/swift,calebd/swift,KrishMunot/swift,ahoppen/swift,benlangmuir/swift,Jnosh/swift,hooman/swift,gribozavr/swift,tjw/swift,xwu/swift,dreamsxin/swift,danielmartin/swift,roambotics/swift,parkera/swift,shajrawi/swift,apple/swift,modocache/swift,hooman/swift,nathawes/swift,djwbrown/swift,lorentey/swift,karwa/swift,zisko/swift,xedin/swift,ben-ng/swift,apple/swift,practicalswift/swift,xedin/swift,nathawes/swift,codestergit/swift,allevato/swift,hughbe/swift,amraboelela/swift,xedin/swift,glessard/swift,apple/swift,danielmartin/swift,kstaring/swift,hooman/swift,frootloops/swift,xedin/swift,ben-ng/swift,stephentyrone/swift,xedin/swift,sschiau/swift,jtbandes/swift,allevato/swift,CodaFi/swift,OscarSwanros/swift,frootloops/swift,arvedviehweger/swift,roambotics/swift,nathawes/swift,OscarSwanros/swift,jckarter/swift,xwu/swift,return/swift,aschwaighofer/swift,dduan/swift,xwu/swift,Jnosh/swift,atrick/swift,modocache/swift,hooman/swift,nathawes/swift,ben-ng/swift,zisko/swift,shahmishal/swift,arvedviehweger/swift,IngmarStein/swift,JGiola/swift,jopamer/swift,johnno1962d/swift,gregomni/swift,allevato/swift,OscarSwanros/swift,practicalswift/swift,gribozavr/swift,djwbrown/swift,kperryua/swift,practicalswift/swift,kperryua/swift,benlangmuir/swift,airspeedswift/swift,kstaring/swift,deyton/swift,xedin/swift,calebd/swift,ahoppen/swift,return/swift,modocache/swift,ben-ng/swift,SwiftAndroid/swift,apple/swift,manavgabhawala/swift,tjw/swift,sschiau/swift,parkera/swift,therealbnut/swift,swiftix/swift,tardieu/swift,aschwaighofer/swift,deyton/swift,JaSpa/swift,gmilos/swift,stephentyrone/swift,atrick/swift,arvedviehweger/swift,hooman/swift,stephentyrone/swift,russbishop/swift,huonw/swift,airspeedswift/swift,modocache/swift,shajrawi/swift,karwa/swift,OscarSwanros/swift,milseman/swift,hughbe/swift,hughbe/swift,amraboelela/swift,aschwaighofer/swift,frootloops/swift,frootloops/swift,zisko/swift,milseman/swift,bitjammer/swift,jtbandes/swift,austinzheng/swift,jopamer/swift,shahmishal/swift,kstaring/swift,jtbandes/swift,tkremenek/swift,Jnosh/swift,amraboelela/swift,allevato/swift,bitjammer/swift,glessard/swift,kstaring/swift,xwu/swift,xedin/swift,jckarter/swift,jmgc/swift,zisko/swift,JGiola/swift,bitjammer/swift,jtbandes/swift,huonw/swift,gottesmm/swift,gottesmm/swift,sschiau/swift,gottesmm/swift,lorentey/swift,calebd/swift,arvedviehweger/swift,swiftix/swift,tinysun212/swift-windows,lorentey/swift,SwiftAndroid/swift,zisko/swift,parkera/swift,shahmishal/swift,jopamer/swift,ben-ng/swift,huonw/swift,ben-ng/swift,aschwaighofer/swift,alblue/swift,benlangmuir/swift,zisko/swift,natecook1000/swift,manavgabhawala/swift,lorentey/swift,arvedviehweger/swift,devincoughlin/swift,devincoughlin/swift,felix91gr/swift,felix91gr/swift,airspeedswift/swift,rudkx/swift,djwbrown/swift,modocache/swift,amraboelela/swift,jtbandes/swift,gribozavr/swift,IngmarStein/swift,IngmarStein/swift,airspeedswift/swift,natecook1000/swift,brentdax/swift,gmilos/swift,tjw/swift,glessard/swift,return/swift,brentdax/swift,practicalswift/swift,rudkx/swift,swiftix/swift,benlangmuir/swift,Jnosh/swift,ken0nek/swift,JGiola/swift,calebd/swift,atrick/swift,manavgabhawala/swift,devincoughlin/swift,ken0nek/swift,SwiftAndroid/swift,kstaring/swift,return/swift,jmgc/swift,kperryua/swift,roambotics/swift,amraboelela/swift,alblue/swift,benlangmuir/swift,Jnosh/swift,jckarter/swift,SwiftAndroid/swift,johnno1962d/swift,austinzheng/swift,devincoughlin/swift,hughbe/swift,codestergit/swift,jmgc/swift,milseman/swift,KrishMunot/swift,jckarter/swift,airspeedswift/swift,shajrawi/swift,djwbrown/swift,gottesmm/swift,JaSpa/swift,brentdax/swift,huonw/swift,milseman/swift,jtbandes/swift,shajrawi/swift,karwa/swift,russbishop/swift