major progress: complete rewrite of ga deposit update functions
corresponding/required revisions of components of ga invariant proof
corresponding/required revisions of components of ga invariant proof
mithril-client binary command/subcommand changes replace snapshot with cardano-db #1759
The Read instances are not used or exported. The Foldable instance for CDF can also be folded into the deriving clause attached to the data declaration. Some whitespace differences also got removed. This commit should be squashed away.