chore: include manifest & proof in make gen; add extra proof types

Author: rvagg

Makefile

@@ -23,6 +23,7 @@ tidy:
 gen:
 	$(GO_BIN) run ./gen/gen.go
 	$(GO_BIN) run ./manifest/gen/gen.go
+	$(GO_BIN) run ./proof/gen/gen.go
 	$(GO_BIN) run ./builtin/v8/gen/gen.go
 	$(GO_BIN) run ./builtin/v9/gen/gen.go
 	$(GO_BIN) run ./builtin/v10/gen/gen.go