Add the ability to calculate expected proof sizes

[tplooker]

Currently in our tests we have fix constants for proof sizes hard coded to tests, instead we should have a utility function that is able to calculate the expected proof size and this should be used instead. The equation for calculating the expected proof size is here