Under-Constrained Bug in BinaryMerkleRoot Circuit (Fixed in v2.0.0) | PSE