Property based testing for db-sync

[kderme]

ledger recently extended its property based testing. They can generate txs chains for Babbage and for StandardCrypto. This means we can probably use them in db-sync. It would require grouping and wrapping these transactions in blocks, using the Interpreter and then pass blocks to the mock chainsync server. block headers affect part of the ledger though, so this may not be trivial to do.

[kderme]

state-maching property base testing has been in #1269, for empty or almost empty blocks. They can be extended with the ledger generators

[marshada]

N.B. this refers to Input generators for DBSync properties instead of Ledger properties. This is a large scope and should be an EPIC or broken down into small issues.