Add tests for VerificationOverTimeImpl