Depois que você chama `countup(n - 1)`, o que está abaixo é executado 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.