Move merkle proof logic to crates

For zkVM fraud proving, we need to verify merkle proofs of txs. SP1 program is implemented as a crate (`crates/sp1-poi`). We need to access code for merkle proofs (`bin/taiyi-boost/src/proofs.rs`) from sp1 crate which is currently not possible since the code is in bin. It would be great if this code could be moved to crates.