What is wrong with this proposed proof of the twin prime conjecture?
This repeats a common misconception about Euclid's proof. Your argument does not show that either $N_n+1$ or $N_n-1$ is prime, but rather that these numbers must be divisible by a prime greater than $p_n$. Indeed, $N_4=210$ has $N_4+1$ prime but $N_4-1=209$ is divisible by $11$.
$$N_4-1=p_0p_1p_2p_3p_4-1=1\cdot2\cdot3\cdot5\cdot7-1=210-1=209=11\cdot19$$ $$N_6+1=p_0p_1p_2p_3p_4p_5p_6+1=1\cdot2\cdot3\cdot5\cdot7\cdot11\cdot13+1=30030+1=30031=59\cdot509$$
$N_7+1 = 510511 = 19 ⋅ 97 ⋅ 277$, $N_7-1 = 510509 = 61 ⋅ 8369$ is the first example where both numbers are not primes. I would suggest that not only is $(N_k-1, N_k+1)$ not always a twin prime pair, but that this would actually be quite rare.
According to http://primes.utm.edu/top20/page.php?id=5 $N_k+1$, $N_k-1$ have been tested for k ≤ 100,000 with very few primes found, and with no twin primes found beyond the pair (2309, 2311).