rangecoder.h: use av_assert