Initial commit
Working copy of a basic verifier