Also, various grammatical fixes and clarifications.
Improved the verbiage and reduced ambiguities, particularly endianness, within the Double Spend Proof specification.