Proper stack trace now given for verification errors.