Depois que você chama `countup(n - 1)`, as linhas abaixo são executadas sim, mas **só depois que esta chamada retorna**.

Para simplificar, vamos ver o que acontece quando você chama `countup(2)`:

- `countup(2)`: `n` é igual a 2, então não entra no `if (n < 1)`
- é chamado `countup(n - 1)`, ou seja, `countup(1)`
  - dentro da chamada `countup(1)`: `n` é igual a 1, então não entra no `if (n < 1)`
  - é chamado `countup(n - 1)`, ou seja, `countup(0)`
      - dentro da chamada `countup(0)`: `n` é igual a 0, então entra no `if (n < 1)` e retorna um array vazio (`[]`)
  - `countup(0)` retornou o array vazio, que foi colocado na variável `countArray` (é o que a linha `const countArray = countup(n - 1)` faz)
  - `countArray.push(n)`: aqui `n` vale 1, então 1 é colocado no array (que agora é `[ 1 ]`)
  - o array `[ 1 ]` é retornado
- `countup(1)` retornou o array `[ 1 ]`, que é colocado na variável `countArray`
- `countArray.push(n)`: aqui `n` vale 2, então 2 é colocado no array (que passa a ser `[ 1, 2 ]`)
- o array `[ 1, 2 ]` é retornado

Ou seja, a primeira chamada começa no valor inicial de `n` (no exemplo acima foi `2`), e a cada chamada recursiva ele vai diminuindo, até chegar a zero. Quando chega a zero, ela retorna o array vazio e o processo começa a "voltar", inserindo os números no array e retornando-o para a chamada anterior.

O que pode confundir é que a cada chamada o contexto muda: o valor de `n` e o array `countArray` sendo manipulados têm valores diferentes. Mas no fim tudo "se junta" e o resultado é um array contendo todos os números de 1 a `n`.

O importante é que o fato de fazer uma chamada recursiva não trava a execução, como você imagina. O que acontece é que uma chamada recursiva pode acabar fazendo outras chamadas recursivas (como quando `countup(2)` chamou `countup(1)`, que por sua vez chamou `countup(0)`), e essas chamadas ficam "penduradas" esperando as outras retornarem. E depois que elas retornam, a execução continua nas linhas seguintes.

O que garante que esse processo não dura para sempre é a condição de parada (`if (n < 1)`), pois é quando não é feita mais nenhuma chamada recursiva.

---
### Para ententer recursão, antes precisa entender recursão

Pode ser que ajude se você pensar na definição da solução de maneira recursiva: como eu crio um array contendo os números de 1 a `N`?

1. se `N` < 1, o intervalo de 1 a `N` não terá nenhum número, então o array é vazio (é o que o `if` faz)
2. se `N` >= 1 (ou seja, o bloco `else`):
  - 2.a) crio um array contendo os números de 1 a `N - 1` (usando este mesmo algoritmo recursivamente, ou seja, volto para o passo 1, mas usando o valor de `N - 1`)
  - 2.b) adiciono o `N` nesse array

O passo 2.a corresponde a `const countArray = countup(n - 1)` (eu resolvo o mesmo problema recursivamente para `N - 1`), e o passo 2.b corresponde a `countArray.push(n)`.

A ideia de recursão é basicamente essa: existe um caso "base" com uma solução trivial (o array vazio), e para os outros casos você resolve instâncias menores do problema de maneira recursiva, até chegar ao caso base, e no final junta tudo.

---
### Explicando de outra maneira

Devido a [esta dúvida nos comentários](https://pt.stackoverflow.com/questions/439285/recursividade-adicionar-n%c3%bameros-em-um-array/439290#comment848340_439290), vou tentar explicar de forma um pouco mais detalhada. Para simplificar, vamos supor que eu chamei `countup(1)`.

É feita a chamada a `countup(1)`:

- aqui o `n` vale 1, por isso não entra no `if (n < 1)`
- dentro do bloco `else`:
  - `const countArray = countup(n - 1);` **←** como `n` vale 1, então é feita a chamada para `countup(0)`

Aqui fazemos uma pausa para explicar que a chamada a `countup(0)` é "independente" da chamada a `countup(1)`. Apesar de ser a mesma função, e de ser chamada dentro dela mesma, são duas chamadas diferentes e cada uma executa de acordo com o seu contexto (no caso, o valor que é passado como parâmetro é diferente).

Então a chamada `countup(1)` está executando a linha `const countArray = countup(n - 1);`. Isso quer dizer que ela precisa pegar o retorno de `countup(0)` e atribuir o valor retornado na variável `countArray`. Ou seja, ela precisa esperar `countup(0)` executar por completo.

E como `countup(0)` executa? Assim:

- `n` vale 0, por isso entra no  `if (n < 1)` e retorna um array vazio (`[]`)

Como `countup(0)` já terminou (retornando um array vazio), então `countup(1)` pode continuar executando de onde parou:

    const countArray = countup(n - 1);

Nesta linha ela pega o retorno de `countup(0)` (o array vazio) e atribui este valor na variável `countArray`. Depois ela executa as linhas seguintes:

    countArray.push(n);
    return countArray;

Ou seja, ela adiciona `n` ao array (e como estamos dentro da chamada `countup(1)`, o `n` vale 1, portanto o número 1 será adicionado ao `countArray`).
E por fim, `countArray` (que agora é o array `[1]`) é retornado, e `countup(1)` encerra sua execução.

Repare que cada chamada a `countup` é "independente": só porque uma está no `if`, não quer dizer que outra não pode estar no `else` (pois cada uma tem um contexto diferente, já que os valores de `n` que cada uma recebe é diferente). E só porque uma delas retornou, não quer dizer que as outras devem retornar imediatamente: cada uma retorna só quando chega em alguma linha contendo `return`.

---
De maneira similar, quando chamamos `countup(2)`:

- aqui o `n` vale 2, por isso não entra no `if (n < 1)`
- dentro do bloco `else`:
  - `const countArray = countup(n - 1);` **←** como `n` vale 2, então é feita a chamada para `countup(1)`

Ou seja, a chamada `countup(2)` precisa esperar `countup(1)` terminar para atribuir o retorno na variável `countArray`.

E pela explicação acima, já sabemos que `countup(1)` retorna o array `[1]`. Ou seja, depois que `countup(1)` termina, o array `[1]` é retornado e atribuído na variável `countArray`.

Depois disso, a chamada `countup(2)` pode continuar executando. A linha seguinte é `countArray.push(n);`, e como `countArray` é `[1]` e o `n` vale 2, o número 2 é adicionado no array, que passa a ser `[1, 2]`.

Depois disso o array é retornado, e o resultado é `[1, 2]`.