Numerical-Experimental Benchmarking of a Probabilistic Code for Prediction of Voltage Holding in High Vacuum