More key/value minimum/maximum changes to relax requirements for
specifying both, if you only specify one in the config file, we
adjust the other one as necessary.
Assert we only reset a cell once, and that it's the type we expect when
we reset it.

Verify the disk image we create in reconciliation for eviction splits.