Fix: Verify method arity of verifying doubles when they receive messages

Created by: penelopezone

Paired with @alindeman on this one.

There was some more refactoring we wanted to do (specifically pulling this finder,checker,arity logic into it's own place.

Review welcome.

@alindeman will doubtless want to add some notes to what I've written.

See #393 (closed).