PMU observability rule submodular function proofs

completed solid draft of proof showing the observability rules are not submodular when the graph has zero-injection nodes and a proof submodular for graphs containing only injection nodes