added proof size check to return false instead of throwing a runtime err...

...or on proof invalid size.