Be a bit more verbose to catch more errors
Be a bit more verbose to catch more errors

This should prevent issues like https://github.com/mit-plv/fiat/pull/21
in the future, hopefully.

JasonGross/coq-scripts,JasonGross/coq-scripts