Completeness : Basecase should not fail even when input vector is all zeroes

[ocdbytes]

The behaviour in this file is not ideal even if the event of this happening is almost 0.

assert!(!vector[0].is_zero(), "Proof failed");

https://github.com/WizardOfMenlo/whir/blob/main/src/protocols/basecase.rs#L88