Add CVC4 interpreter, fix incompatible "compatibility" option