Clarify why we emit ATHROW after expressions of type Nothing

Tests for emitting expressions of type Nothing.