CUDA Undefined Behavior

Catalog the undefined and invalid behaviors that make kernels appear correct on narrow tests while remaining unsafe or non-portable.