Simple Design Rule Check: no multiple drivers

Addresses but does not completely deal with #119.
Is this just an accessor method for `result`? If so, we should call it `getResult()` or something. Using and adjective for a method name is a little ambiguous or confusing. 

Actually, we should probably just merge the `check()` methods with this `passed()` method and call it `run()` or something.