zkLLVM examples generator RUST_LOG=info cargo run -- --circuit merkle_tree_16x4 --leaves 16 --prover-capacity 4