ast-verify-go