improve Arbitrary instances for serialised keys and values
Not particularly elegant, but improves the chance of hitting interesting cases until we have a more principled approach.