It seems clear to me that assertions in the standard library should get compiled out in the same fashion as assertions anywhere else -- so I think we should just use `assert!()` in this module and whenever we settle on (a) what to call "debug-only" assertions and (b) what set of switches to use to remove them, we can use that.