The wording used in your textbook was sloppy.
$A$ acts as $A^*$ on a bra, as $\langle u\rvert A\lvert v\rangle:=\langle u\lvert Av\rangle~$ is the same as $\langle u\rvert A\lvert v\rangle=\langle A^*u\lvert v\rangle~$, by definition of the adjoint. The latter formula also shows that $\langle A^*u\rvert=\langle u\rvert A$.
Everything becomes very simple in linear algebra terms when interpreting a ket as a colum vector, the corresponding bra as the conjugate transposed row vector, an operator as a square matrix, and the adjoint as the conjugate transpose. This is indeed the special case when the Hilbert space is $C^n$.
The inner product is always between two (ket) vectors. However, let $\mathcal H$ be the space in which they live. This is a complex vector space with a Hermitian inner product. The inner product defines a map $\mathcal H\to\mathcal H^\vee$, where $\mathcal H^\vee$ is the dual of $\mathcal H$, and consists of linear functionals on $\mathcal H$. The map is given by $a\mapsto a^\ast$ which is defined by $a^\ast(b) = \langle a,b\rangle$.
In fact the inner product defines a metric on $\mathcal H$ and the postulates of quantum mechanics state that this state space is in fact complete, making it a Hilbert space, and it can be seen that the element $a^\ast = \langle a,\,\cdot\,\rangle$ is continuous. Now denote by $\mathcal H^\ast$ the topological dual of $\mathcal H$, consisting only of continuous linear functionals. The Riesz representation theorem asserts that $a\mapsto a^\ast$ is an isometric isomorphism between $\mathcal H$ and $\mathcal H^\ast$. You should see the latter as the space of bras, and so we see that indeed every bra vector is the conjugate of a ket vector. Starting from that point, in physics one forgets about the distinction between $\langle a,b\rangle$ and $a^\ast(b)$, which are both denoted $\langle a|b\rangle$. It is even customary for this reason to write $\langle a|$ for $a^\ast$ and $|b\rangle$ for $b$.
ADDED IN EDIT
As commented by ACuriousMind, it can be enlightening to make this concrete for the finite dimensional case. In the finite dimensional case, if we fix a basis, $a$ and $b$ can be written as
$$a = \begin{pmatrix}a_1\\ \vdots \\ a_n\end{pmatrix},\ \ \ b = \begin{pmatrix}b_1\\ \vdots \\ b_n\end{pmatrix}.$$
The inner product is $\langle a,b\rangle = a_1^\ast b_1 + \cdots + a_n^\ast b_n$, where $a_i^\ast$ is the complex conjugate of $a_i$. The linear functional $a^\ast$ is represented by a matrix in this basis, namely
$$a^\ast = \left(a_1^\ast\ \cdots\ a_n^\ast\right).$$
Clearly we have $a^\ast(b) \equiv a^\ast b = \langle a,b\rangle$.
ADDED IN SECOND EDIT
The above argument is a strictly mathematical one, in which the (common) assumption is made that kets are the elements of some Hilbert space and bra's are defined to be elements of its continuous dual. This definition is mathematically convenient but not physicaly unavoidable.
First of all, only kets directly relate to physical reality, bra's are just there for mathematical convience. The convenience, and the whole usefulness of the Dirac formalism disappears when you abandon the duality between bra's and kets.
ZeroTheHero remarked that in the book of Cohen-Tannoudji e.a. the definition of bra's and kets (for a single spinless particle) are such that this duality doesn't strictly hold. The authors do acknowledge the computational desirability of this duality, and propose a formal solution, in which the duality is supposedly restored, but with the understanding that not all elements are physical (only aproximately so), and without going into details. I do think they take great care to indicate possible pain points in the formalism, and probably they do the right thing by not going into distracting detail.
My guess is that their intention was to give a pragmatic approach in which physical motivation and intuition are preferred over mathematical rigor. To be specific, first of all they define the Hilbert space of kets $\mathscr F$ to be a subspace of $L^2$ of "sufficiently regular functions" of which they "shall not try to give a precise, general list of [...] supplementary conditions".
Then they define the space of bra's as the space of all linear functionals on $\mathscr F$, the space that in my earlier notation would have been $\mathscr F^\vee$. I don't think it is ever useful to consider the entire (algebraic) dual in the infinite-dimensional case, since this space is huge, and full of highly pathological elements. They'd better have "defined" it as an otherwise unspecified subspace of "sufficiently regular" linear functionals.
Then they construct a very reasonable bra (namely evaluation at a point), and show that it is not associated to any ket, and finally they note that this can be physically resolved by going to generalized kets to restore the duality, even though one should not attribute a physical meaning to them. Many reasonable bra's correspond to a generalized ket, but this is still not the case for the large majority of the elements of $\mathscr F^\vee$.
Best Answer
With regards to your first question, the vector $| z\rangle$ is chosen so it is orthogonal to $| w\rangle$. To see this, note that $\langle a|(|b\rangle+|c\rangle)=\langle a|b\rangle+\langle a|c\rangle$ implies $$\langle w|z\rangle=\left\langle w\left|v-\frac{\langle w|v\rangle}{|w|^2}|w\rangle\right.\right\rangle =\langle w|v\rangle+\left\langle w\left|-\frac{\langle w|v\rangle}{|w|^2}|w\rangle\right.\right\rangle.$$ Let us be careful now about the treatment of the second term, which is related to your second question. We have that $\langle a|(\lambda |b\rangle)\rangle=\lambda\langle a|b\rangle$. Therefore, taking $|a\rangle=|w\rangle=|b\rangle$ and $\lambda=-\frac{\langle w|v\rangle}{|w|^2}$, we see that $$\left\langle w\left|-\frac{\langle w|v\rangle}{|w|^2}|w\rangle\right.\right\rangle=-\frac{\langle w|v\rangle}{|w|^2}\left\langle w\left|w\right.\right\rangle$$ Finally, recalling that $|w|^2:=\langle w|w\rangle$, we conclude that $$\left\langle w\left|-\frac{\langle w|v\rangle}{|w|^2}|w\rangle\right.\right\rangle=-\frac{\langle w|v\rangle}{|w|^2}|w|^2=-\langle w|v\rangle,$$ and $$\langle w|z\rangle=\langle w|v\rangle-\langle w|v\rangle=0.$$ As a consequence, you get that $|v\rangle$, $|z\rangle$ and $\frac{\langle w|v\rangle}{|w|^2}|w\rangle$ form a right triangle with hypotenuse $$|v\rangle=|z\rangle +\frac{\langle w|v\rangle}{|w|^2}|w\rangle.$$ Pythagoras' theorem then guarantees that $$|v|^2=|z|^2+\frac{|\langle w|v\rangle|^2}{|w|^4}|w|^2=|z|^2+\frac{|\langle w|v\rangle|^2}{|w|^2}\geq\frac{|\langle w|v\rangle|^2}{|w|^2}.$$ We conclude that $|v|^2|w|^2\geq|\langle w|v\rangle|^2$. This is the proof given in this Wikipedia article.
If you understood this computation, the answer to your your second question should be clear. Remember that $\langle a|b\rangle=\langle b|a\rangle^*$ and so $\langle (\lambda a)|b\rangle=\lambda^*\langle a|b\rangle$.
Response to edit:
Your first formula for $\langle z|$ is wrong. The second one is the correct one $$\langle z|=\langle v|-\frac{\langle v|w\rangle}{|w|^2}\langle w|$$