$\epsilon-\delta$ definition for limits involving $\infty$
We have to change the formal definition here because $\pm\infty$ are not members of $\mathbb{R}$.
One way to generalise this is to consider the set $ \mathbb{R}_\infty = \mathbb{R} \cup \{\infty\}$. Note here that we do not make a distinction between $\pm\infty$. We can define a Hausdorff topology on this set using the basis of open sets $$ \{U \subset \mathbb{R} : U \text{ is open}\} \cup \{B_\infty(\delta):\delta > 0\}$$ where we define the open ball about infinity as $B_\infty(\delta) = \{x \in \mathbb{R} : |x| > \delta\}$. This topological space is compact and called the one point compactification of $\mathbb{R}$. It is homeomorphic to a circle.
(If you're lost here because you haven't heard of topology before, just imagine wrapping the real line round a circle and gluing the ends together at a point which we call $\infty$. Then 'forget' what the original numbers were and treat all parts of the circle the same. In particular, limits work the same everywhere on this circle.)
You can prove that a function $ f : \mathbb{R}_\infty \to \mathbb{R}_\infty $ is continuous at a point $ a \in \mathbb{R} $ (using the standard definition for continuity in a Hausdorff space) if the restriction $f|_\mathbb{R}$ is continuous at $a$. Similarly you can prove that it is continuous at $a = \infty \in \mathbb{R}_\infty$ if the limits $\lim_{x\to+\infty} |f|_\mathbb{R}|$ and $\lim_{x\to-\infty} |f|_\mathbb{R}|$ exist (using your definitions for these limits, and the convention $\infty = |\pm\infty|$) and $$ \lim_{x\to+\infty} |f|_\mathbb{R}| = \lim_{x\to-\infty} |f|_\mathbb{R}| = f(\infty) .$$
It might please you to note (and prove) that, where it exists, $$ \lim_{x \to +\infty} f(x) = \lim_{x \to ^+0} f(1/x).$$ If you have a read about Möbius maps on $\mathbb{R}$, you will find that $x \mapsto 1/x$ is a Möbius map taking $0 \mapsto \infty$ and $\infty \mapsto 0$. This (algebraic) definition is inspired by the analysis here. The Möbius maps form a group under composition and are very important in several areas of mathematics (e.g. in the theory of Modular curves).
With regard to your definitions 5-8, you were very close with your previous guess. It is a useful exercise to practice writing down explicitly what you think you mean by phrases like "as $x \to \infty$".
When we talk about either $x$ or $f(x)$ tending to $\pm\infty$, we mean that it is 'getting really big' (in a positive or negative sense). We expressed 'getting really close' by using the $\epsilon$-$\delta$ definition you're happy with. In your definitions 1-4 you altered these to change one of the 'getting really close to' statements to a 'getting really big' statement.
To express $x \to +\infty$ in 1, you changed the relevant part of the statement to $(\exists \delta : x > \delta \Rightarrow \dots)$. To express $f(x) \to +\infty$ in 3, you changed the relevant part of the statement to $(\forall M > 0: (\exists \delta: \dots \Rightarrow f(x)>M))$.
Putting these characterisations together, we arrive at the definition for 5 $$\lim_{x\to+infty} f(x) = \infty \quad\Rightarrow\quad \forall M > 0 (\exists \delta: x > \delta \Rightarrow f(x) > M).$$
See if you can now do 6-8.
To understand this, you need to think of the intuition behind the $\epsilon$-$\delta$ definition. We want $\lim_{x\to a}f(x)=L$ if we can make $f(x)$ as close to $L$ as we like by making $x$ sufficiently close to $a$. Worded differently, we might say that:
$\lim_{x\to a}f(x)=L$ if given any neighborhood $U$ of $L$, there is a neighborhood $V$ of $a$ such that elements of $V$ are mapped by $f$ to elements of $U$ (except possibly $a$ itself).
In this context, a "neighborhood" of a point $p$ should be understood to mean "points sufficiently close to $p$". Let's make that precise by defining what we mean by "close". For $\epsilon>0$ (assumed, but not required, to be very small) define $$B(x,\epsilon):=\{y\,:\,|x-y|<\epsilon\},$$ the ball of radius $\epsilon$ about $x$. For our purposes, we say $U$ is a neighborhood of $x$ if $U=B(x,\epsilon)$ for some $\epsilon>0$. (The usual definition only requires that $U$ contains such a ball.) Assuming $\epsilon>0$ is very small, this agrees with our intuition of what closeness should mean. Now if we go back to our neighborhood "definition" of a limit, you should be able to think about it for a bit and convince yourself that it is equivalent to the usual definition.
How does this relate to the problem with infinity? Given that infinity is not a real number (and things like distance from infinity do not make sense), we must revise what it means to be "close" to infinity. So for $M>0$ (assumed this time to be very large) define $$B(+\infty,M):=\{y\,:\,y>M\},\quad B(-\infty,M):=\{y\,:\,y<-M\},$$ the neighborhoods of $\pm\infty$. Hopefully you can see why these make sense as definitions; a number should be close to infinity if it is very large (with the correct sign), so a neighborhood of infinity should contain all sufficiently large numbers.
Now we extend our neighborhood definition of limits to include the case where $a$ or $L$ can be $\pm\infty$. It is a similar exercise to before to verify now that the definition is still equivalent to the old one, only now we have in some sense unified somewhat.