You can now tweak the font size within Gboard. This feature was available in beta, and it's now a part of the stable channel ...