Simple Design Rule Check: no multiple drivers

Addresses but does not completely deal with #119.
Refactored to `run()`, made `verify()` protected.