async fn validate<D: TestableDataSource>(ds: &D)where for<'a> D::ReadOnly<'a>: AvailabilityStorage<MockTypes> + NodeStorage<MockTypes>,