Modify key_spdadd() to do more accurate checks.

Use SADB_CHECKHDR() and SADB_CHECKLEN() macros to check extension headers.
Use key_checksockaddrs() to check sockaddr structures.