Bounds-checking assert for betamv.