Minor fix

Use finiteDuration over checking transition matrix size.
Suppress output in VerifyImplement.