SIL: Use require() instead of assert() in the verifier
SIL: Use require() instead of assert() in the verifier

xwu/swift,parkera/swift,gregomni/swift,benlangmuir/swift,JGiola/swift,JGiola/swift,devincoughlin/swift,gregomni/swift,atrick/swift,CodaFi/swift,gregomni/swift,stephentyrone/swift,stephentyrone/swift,hooman/swift,allevato/swift,shahmishal/swift,lorentey/swift,airspeedswift/swift,jckarter/swift,tkremenek/swift,sschiau/swift,shahmishal/swift,parkera/swift,ahoppen/swift,roambotics/swift,parkera/swift,sschiau/swift,atrick/swift,glessard/swift,lorentey/swift,glessard/swift,airspeedswift/swift,CodaFi/swift,sschiau/swift,rudkx/swift,aschwaighofer/swift,roambotics/swift,gribozavr/swift,stephentyrone/swift,karwa/swift,shahmishal/swift,roambotics/swift,shahmishal/swift,hooman/swift,karwa/swift,allevato/swift,airspeedswift/swift,harlanhaskins/swift,karwa/swift,atrick/swift,JGiola/swift,gribozavr/swift,benlangmuir/swift,hooman/swift,devincoughlin/swift,benlangmuir/swift,stephentyrone/swift,gribozavr/swift,jmgc/swift,ahoppen/swift,ahoppen/swift,devincoughlin/swift,rudkx/swift,roambotics/swift,shahmishal/swift,airspeedswift/swift,apple/swift,aschwaighofer/swift,xwu/swift,rudkx/swift,CodaFi/swift,JGiola/swift,harlanhaskins/swift,glessard/swift,karwa/swift,glessard/swift,tkremenek/swift,harlanhaskins/swift,harlanhaskins/swift,jmgc/swift,atrick/swift,rudkx/swift,benlangmuir/swift,hooman/swift,nathawes/swift,parkera/swift,xwu/swift,roambotics/swift,shahmishal/swift,apple/swift,airspeedswift/swift,xwu/swift,lorentey/swift,aschwaighofer/swift,JGiola/swift,xwu/swift,allevato/swift,glessard/swift,jmgc/swift,roambotics/swift,parkera/swift,allevato/swift,glessard/swift,karwa/swift,karwa/swift,CodaFi/swift,xwu/swift,sschiau/swift,apple/swift,parkera/swift,devincoughlin/swift,jmgc/swift,rudkx/swift,CodaFi/swift,aschwaighofer/swift,karwa/swift,harlanhaskins/swift,shahmishal/swift,jckarter/swift,ahoppen/swift,gribozavr/swift,jmgc/swift,stephentyrone/swift,nathawes/swift,allevato/swift,nathawes/swift,allevato/swift,devincoughlin/swift,stephentyrone/swift,sschiau/swift,jckarter/swift,parkera/swift,nathawes/swift,lorentey/swift,aschwaighofer/swift,CodaFi/swift,jckarter/swift,sschiau/swift,jckarter/swift,karwa/swift,devincoughlin/swift,benlangmuir/swift,harlanhaskins/swift,lorentey/swift,harlanhaskins/swift,gregomni/swift,devincoughlin/swift,CodaFi/swift,gribozavr/swift,gregomni/swift,aschwaighofer/swift,gribozavr/swift,ahoppen/swift,sschiau/swift,ahoppen/swift,lorentey/swift,tkremenek/swift,gribozavr/swift,tkremenek/swift,airspeedswift/swift,apple/swift,benlangmuir/swift,hooman/swift,lorentey/swift,allevato/swift,hooman/swift,apple/swift,rudkx/swift,airspeedswift/swift,xwu/swift,jckarter/swift,hooman/swift,stephentyrone/swift,gregomni/swift,nathawes/swift,jckarter/swift,lorentey/swift,nathawes/swift,gribozavr/swift,apple/swift,aschwaighofer/swift,tkremenek/swift,shahmishal/swift,tkremenek/swift,JGiola/swift,atrick/swift,devincoughlin/swift,parkera/swift,jmgc/swift,tkremenek/swift,atrick/swift,sschiau/swift,nathawes/swift,jmgc/swift