Document disc probing effect on performance

The disc probing feature has been implemented in the dev branch. However we would like to see the effect it has on bigger problem sets like mux6 and parity3 both on over all running time as well as the total performance of the implementation in the end.

To this end, bench marking the results with disc probing enabled and disabled is a must to see it's effect on both running time and total result quality. This also involves testing the disc probing with the dynamic disc probing enabled the same way the classic version does whenever more than a 5th of the variables are logical variables.