Implement OT for SetParagraphStyle vs. SplitParagraph

In order to allow convergence between collaborative clients, the split paragraph op needs to specify what the resulting style of the new paragraph will be.
This is one of the reasons I was pondering the verify ;-). There is no "direct" way to test this flag, as the op itself is not directly affected by this error. I don't have a good solution in mind.