Add devdocs on UB
This adds some basic devdocs for undefined behavior, since
there keep being complaints that it's not written down anywhere.
The list of UB is just what I remembered off the top of my head,
it's probably incomplete, since we haven't historically been
particularly careful about this. This way, at least when people
add new sources of UB, they'll have a centralized place to write
that down.
