How to change font size and font for all profiles in terminal

With the \033]0;TEXT\007 escape sequence.

Example of use in Bash: echo -ne "\033]0;$PWD\007"

Which you could add to your $PROMPT_COMMAND if you use Bash, or otherwise attach to you PS1 so it gets re-evaluated often.

Example: export PROMPT_COMMAND='echo -ne "\033]0;$PWD\007"'

I would say you are the slowest part of the equation in most cases. If you find yourself slowing down since you have too many choices, slim down your fonts. If not, don't worry until you notice a program you need to be responsive lagging.

On the CPU side, any computer will track 10,000 files as easily as it tracks 1. Unless you have software that is really poorly programmed and refuses to render a font menu until it loads a sample of each of the 1000 font faces - you'll likely not ever notice a slow down. No one cleans out their iTunes library since there are 10,000 or 40,000 music files since you never access them all at once. The smart programmer makes an ordered list to hold the playlists and only references the files when you need to play a specific song.

You can test this yourself by opening a word processor and a spreadsheet and open the font picker. Time how fast it loads and then go in and deactivate 900 of the font faces and repeat the measurement.

You'll probably have slowness the first time the program or the OS has to traverse the list of active fonts and do some caching. After that, the speed to open the UI should be basically constant whether you have 100, 1000 or 10000 items to load.