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`, 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".

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, 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.

---
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
  - 2.b) adiciono o N nesse array

O passo 2.a corresponde a `const countArray = countup(n - 1)`, e o passo 2.b corresponde a `countArray.push(n)`.