Catching Boogie and Corral invocation errors. Closes #25.