check that build scripts check for drift of generated pb.go code

[jdef]

When CI was migrated to github actions, we may have lost the check for "drift" between generated code submitted in the PR - and generated code produced by the CI build steps. One of the build steps should be checking for such drift.

This is a reminder to investigate.