I don't care much either way, since I never turn on assertion stripping.  If someone does strip assertions, this sort of seems like the type of thing they're actually trying to strip out, though (sanity checks for things that should never happen, and checks for programmer error).