more robustness testing

[cvogt]

make sure that cases that aren't supposed to compile actually don't compile