Property-based reorg tests

We should add tests that assert that we continue to operate correct after reorgs happen. 

To this end, we should employ the `proptest` crate to setup randomized scenarios and assert that certain invariants hold independently when blocks are connected/reorged, and when syncs are happening. These scenarios should be tested for all chain sources (Esplora, Electrum, bitcoind RPC).