pub fn whir_multiple_commitments_negative()
Soundness test: verify that WHIR correctly rejects tampered openings.