SplitView: emit viewAdded() after splitter->setSizes()
StatePlugin: restore splitter geometries
Fix VerifierPlugin to build with Qt 4
StatePlugin: add missing include for Qt 4