Debug Info: enable verifying by default and disable testing cases that fail.