Ledger DB tests.

The ledger DB consists of two subcomponents: an in-memory component, which is pure Haskell (no IO anywhere) and so can be tested using normal property tests, and the on-disk component, which is tested with a model based test.