Add `set -e` to top of `proof` and `cibuild`

Exit immediately on any non-zero exit code