Add ppCoinsPerUTxOByte to ppWellFormed

[lehins]

Looks like there was a mistake in the spec and the wrong parameter was used: IntersectMBO/formal-ledger-specifications#571

We need to add ppCoinsPerUTxOByte to ppWellFormed, but we have to add it only with the protocol version check, i.e. we can't change this behavior without a hardfork.
So, despite that quardrails script already checks that ppCoinsPerUTxOByte is not equal to 0, for consistency sake with the spec we need to also implement it on the ledger side.