Added a verifier.

Allows to compare an alternative implementation with a reference
implementation.