Improve error messages for verifying double exceptions. Closes #14.