Rename Verifier -> Verify
Add Pyton syntax highlighting for cfg remark
Indentation
Refactoring, fix missing \n in log messages