print stack trace on verification failures