script to estimate proof sizes
Merge pull request #1 from citp/master

script to estimate proof sizes