Equivariant Cohomotopy implies orientifold tadpole cancellation