ARI - improved RangeEncoder main loop to compress by about 2% better
ARI - Refactored proxy models to include the shift parameter