ADR 013 Zero Padding for an upperBound FraudProofSize

[nashqueue]

If we agree on an upper Bound of the PFB Fraud Proof than we can have this upper bound as an constant. This would decrease padding for most of the blob sizes in any square size. Smaller square sizes will have 0 padding.

[nashqueue]

Discussion in celestiaorg/celestia-app#1161