Fix case stmts to not fall through, rename methods, assert on unimplemented

pieces, emit a diagnostic like this:

test.m:4:1: error: unexpected '@' in program
@ foo;
^

llvm-svn: 39099