PDF Cleanup: figure formatting problems

[williamdemeo]

• Figure 25 of conway-ledger.pdf (Auxiliary DELEG transition system), the consequent of the DELEG-delegate rule is stretched out onto two lines.
• Figure 18 of conway-ledger.pdf (the first figure in the Governance section) no longer fits on a single page. Probably needs to be split into two figures, unless we hide more stuff.
• Figure 13 of conway-ledger.pdf (Functions used in UTxO rules), the definition of refScriptsSize overruns figure box width.
• Figure 4 of conway-ledger.pdf (Protocol parameter well-formedness) definition of positivePParams overruns figure box width.
• Figure 30 of conway-ledger.pdf (Types and function used for the ENACT transition system) insert blank line above "Type of the ENACT transition system."
• Figure 38 of conway-ledger.pdf (The RATIFY transition system) the let block of RATIFY-Accept overruns figure box width.
• Figure 41 of conway-ledger.pdf (EPOCH transition system) is too big to fit nicely on page.