Fix wddx_deserialize() repo mode assertion

And a couple of other minor tweaks