nir: Strengthen "no jumps" assertions in instruction insertion API.