TCP/IP should use ASSERT3*() where appropriate
The TCP/IP code uses lots of ASSERTs, but very few (if any?) ASSERT3s. This bug tracks that. It's also a great opportunity for a new-to-kernel person to do something that's easily verifiable (i.e. non-DEBUG code doesn't CHANGE unless VERIFY3s get introduced).