in src/hashwires.rs [616:621]
fn test_proof_failure() -> Result<(), HwError> {
let value = BigUint::from_u32(378).unwrap();
let threshold = BigUint::from_u32(402).unwrap();
assert_eq!(true, prove_and_verify(4, 32, &value, &threshold).is_err());
Ok(())
}