Verify exits with non-zero status on errors