Network model for partitions

[senorcarbone]

We need a simple builder to express network partitions easily (e.g., for checking quorum properties). Should simply include specifying a set[address] for each partition and two network models as parameters for inter and cross partition network boundaries to keep it simple