Add verify_lock() function.

Allows for annotations such as
xassert(verify_lock(CONFIG_LOCK, READ_LOCK));
to ensure that the calling thread has the correct locks in
place to head off potential race conditions / corruption.