Fix this...
bleh
Also accept uppercase version
Add CVC4 interpreter, fix incompatible "compatibility" option
This compat stuff is definitely not working