Debug Info: enable verifier for testing cases.