Split-mongo block uniqueness constraint [LMS-11364]

I like the contract syntax better than assert(isinstance(x, y)). Plus, the contract only is enforced at test time, right?