Changes

classify_addr.h: explain the no_naked_pointers value model (#9684)

We are planning to support two configurations (with or without
naked pointers) in the runtime for at least a couple years, so I think
it is useful to explain their value models and corresponding runtime
functions/macros. This should help runtime developers reason about the
code written to support both modes.
 (commit: 58b3efd)