cid#1202756 Clarify with assert that ave == 0 cannot happen

...so (highbit(ave) - 1) will never be negative and never cause undefined shift by negative
value.

Change-Id: I86703f03d30d48c74d2e814c182b9edb85d18186