Add some minimal SIL verification of checked_cast_addr_br.
Add some minimal SIL verification of checked_cast_addr_br.

khizkhiz/swift,khizkhiz/swift,khizkhiz/swift,khizkhiz/swift,khizkhiz/swift,khizkhiz/swift,khizkhiz/swift