Implement verifiers

[TreeinRandomForest]

The first set of verifiers consists of:

• Abstract-syntax tree (AST) based syntax checking using python's ast module.
• Linter
• Typechecker
• Unit tests (initial focus - SWE-bench Verified)

AST syntax checker has been implemented (see verifiers/ast_check.py).