In particular, we're currently setting the error verbosity to 'verbose' which generates useful error messages (e.g. unexpected <x> token, expected either <y> or <z>). There's also the 'parse.assert' bison declaration which may be worth toggling.