WYIL: bug fix for verification of switch statements, and added more test cases (#222)
WYIL: minor additional fix for #222.  Now it's passing all tests!!