Simple Design Rule Check: no multiple drivers

Addresses but does not completely deal with #119.
`verify()`