chore: pull intMin and intMax up

[luisacicolini]

I pulled intMin and intMax up in the Lemmas file. To do so, I had to move other sections down. Most significant changes include:

1. moving toNat_shiftLeft and getLsbD_shiftLeft out of the shiftLeft section, at the very beginning of the file, since these two are crucial to most of the subsequent theorems
2. changing the proof of add_zero and zero_add
3. changing some theorems' section (e.g., or_allOnes, allOnes_or, and_allOnes, Std.LawfulCommIdentity, allOnes_and, negOne_eq_allOnes moved from their respective operator section to the allOnes section)

Overall, intMax and intMin are now only preceded by sections twoPow, le and lt, mul, sub/neg, add and the theorems in (1). As far as I could see, these sections are very much interdependent and therefore hard to move further around. Pulling intMax and intMin further up would require breaking up these sections.

[leanprover-community-bot]

Mathlib CI status (docs):

• ❗ Batteries CI can not be attempted yet, as the nightly-testing-2024-10-18 tag does not exist there yet. We will retry when you push more commits. If you rebase your branch onto nightly-with-mathlib, Batteries CI should run now. (2024-10-18 08:52:16)