Exit non-0 if any prove call exits non-0