Distributed primitive linearizability verification

A new version of Knossos - Jepsen's linearizability checker - has recently been released and now makes linearizable history verification for ONOS primitives feasible. Add a script to perform random operations and use the onos-disrupt script to disrupt the cluster while recording the operation history. Use the Knossos linearizability checker to verify the history of operations is linearizable.