[sil] Disable MemoryLifetimeVerifier on alloc_stacks that are enum typed.
[sil] Disable MemoryLifetimeVerifier on alloc_stacks that are enum typed.

Currently in this verifier, we stop verifying if we find a switch_enum_addr
use. This creates a problem since no one has gone through and changed the
frontend/optimizer to understand that it needs to insert destroy_addr on
alloc_stack even if dynamically we know that the enum has a trivial case or
non-payloaded case due to a switch_enum_addr. So if one then performs the
completely unrelated, valid optimization of promoting the switch_enum_addr to a
switch_enum (lets say using a load_borrow), then this verifier will see a leaked
value along the non-payloaded path.

Disable this verification for now until a complete analysis of enums is provided
to unblock further work.

https://bugs.swift.org/browse/SR-14123

tkremenek/swift,apple/swift,hooman/swift,hooman/swift,glessard/swift,roambotics/swift,benlangmuir/swift,JGiola/swift,xwu/swift,rudkx/swift,benlangmuir/swift,benlangmuir/swift,ahoppen/swift,xwu/swift,xwu/swift,gregomni/swift,hooman/swift,parkera/swift,apple/swift,rudkx/swift,parkera/swift,glessard/swift,gregomni/swift,gregomni/swift,tkremenek/swift,ahoppen/swift,apple/swift,roambotics/swift,benlangmuir/swift,gregomni/swift,JGiola/swift,roambotics/swift,rudkx/swift,parkera/swift,parkera/swift,ahoppen/swift,hooman/swift,tkremenek/swift,glessard/swift,rudkx/swift,atrick/swift,tkremenek/swift,JGiola/swift,parkera/swift,glessard/swift,apple/swift,tkremenek/swift,JGiola/swift,xwu/swift,apple/swift,apple/swift,xwu/swift,atrick/swift,parkera/swift,atrick/swift,gregomni/swift,tkremenek/swift,atrick/swift,rudkx/swift,benlangmuir/swift,JGiola/swift,benlangmuir/swift,ahoppen/swift,glessard/swift,JGiola/swift,ahoppen/swift,glessard/swift,hooman/swift,parkera/swift,ahoppen/swift,roambotics/swift,parkera/swift,roambotics/swift,atrick/swift,xwu/swift,roambotics/swift,xwu/swift,rudkx/swift,gregomni/swift,atrick/swift,hooman/swift,tkremenek/swift,hooman/swift