split verify-gen into multiple targets in pre-push pre-commit hook#5374