OpenVM: add a translation from Rust for BranchEq

[clarus]

The goal is to add a translation for the OpenVM circuits corresponding to the BranchEq instruction: https://github.com/openvm-org/openvm/blob/main/extensions/rv32im/circuit/src/branch_eq/core.rs