Efficient Stein Variational Inference for Reliable Distribution-lossless Network Pruning