Consolidate TxLimits

[nfrisby]

The limits on various sizes (bytes, ExUnits, ref script bytes) of txs and of blocks are scattered and inconsistent in the code.

This Issue is to simplify/refactor the design to implement those limits uniformly.