Add CI profile for smaller binary sizes and use it in GitHub Actions

Add CI profile for smaller binary sizes and use it in GitHub Actions #4428