Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing