vector-dot-product-microbench libzexe vector dot product microbenchmark How to run cargo run main --release