testConstraints: Improve tests of semi-constrained INTEGERs
testConstraints: Improve tests of semi-constrained INTEGERs

Make sure that semi-constrained integers are correctly encoded
in the mininum number of bytes. (The roundtrip test does not
catch problems with non-minimal encodings.) Also test huge
values that must be encoded in 128 or 256 bytes.

theom/otp,paladim/otp,neeraj9/otp,erlang/otp,bjorng/otp,riverrun/otp,lrascao/otp,lianghaivv/otp,RichMorin/otp,release-project/otp,isvilen/otp,falkevik/otp,schlagert/otp,johanclaesson/otp,lantti/otp,getong/otp,kvakvs/otp,paulcager/otp,lantti/otp,schlagert/otp,lantti/otp,saleyn/otp,klarna/otp,uabboli/otp,johanclaesson/otp,weisslj/otp,bernardd/otp,cnbin/otp,sitexa/otp,sitexa/otp,haguenau/otp,emacsmirror/erlang,gjaldon/otp,RichMorin/otp,entropiae/otp,bsmr-erlang/otp,basho/otp,electricimp/otp,ferd/otp,vinoski/otp,theom/otp,riverrun/otp,erlang/otp,vinoski/otp,klarna/otp,cobusc/otp,johanclaesson/otp,derek121/otp,c-rack/otp,palas/otp,sammoth-wazoku/otp,aboroska/otp,schlagert/otp,potatosalad/otp,goertzenator/otp,haguenau/otp,paladim/otp,massemanet/otp,jemsbhai/otp,erlang/otp,matwey/otp,basho/otp,paulcager/otp,isvilen/otp,gjaldon/otp,aboroska/otp,GinjaNinja32/otp,RichMorin/otp,bsmr-erlang/otp,paladim/otp,fenollp/otp,isvilen/otp,getong/otp,johanclaesson/otp,hairyhum/otp,sammoth-wazoku/otp,mikpe/otp,bugs-erlang-org/otp,lucafavatella/otp,potatosalad/otp,lrascao/otp,awetzel/otp,g-andrade/otp,getong/otp,derek121/otp,bjorng/otp,krishnakumar4a4/otp,g-andrade/otp,matwey/otp,platinumthinker/otp,erlang/otp,RoadRunnr/otp,marquisthunder/otp,tuncer/otp,legoscia/otp,getong/otp,tuncer/otp,legoscia/otp,RJ/otp,mujiatong/otp,jemsbhai/otp,matwey/otp,Teino1978-Corp/otp,vinoski/otp,mujiatong/otp,cnbin/otp,awetzel/otp,yangchengjian/otp,c-rack/otp,theom/otp,bsmr-erlang/otp,stolen/otp,release-project/otp,rlipscombe/otp,sitexa/otp,isvilen/otp,falkevik/otp,jemsbhai/otp,paulcager/otp,emacsmirror/erlang,ader1990/otp,ader1990/otp,ahmedshafeeq/otp,RichMorin/otp,uabboli/otp,jj1bdx/otp,paulcager/otp,release-project/otp,lucafavatella/otp,weisslj/otp,tuncer/otp,goertzenator/otp,cobusc/otp,cobusc/otp,dgud/otp,getong/otp,psyeugenic/otp,lrascao/otp,neeraj9/otp,mikpe/otp,falkevik/otp,entropiae/otp,RJ/otp,Teino1978-Corp/otp,platinumthinker/otp,theom/otp,lrascao/otp,legoscia/otp,sitexa/otp,haguenau/otp,lantti/otp,lhslll/otp,rlipscombe/otp,enikki/otp,falkevik/otp,kvakvs/otp,matwey/otp,NOMORECOFFEE/otp,klarna/otp,RJ/otp,rlipscombe/otp,RJ/otp,entropiae/otp,kvakvs/otp,c-rack/otp,RoadRunnr/otp,mikpe/otp,fenollp/otp,vic/otp,bernardd/otp,cnbin/otp,emile/otp,g-andrade/otp,krishnakumar4a4/otp,g-andrade/otp,uabboli/otp,vinoski/otp,saleyn/otp,saleyn/otp,lhslll/otp,yangchengjian/otp,mikpe/otp,release-project/otp,isvilen/otp,dumbbell/otp,awetzel/otp,Teino1978-Corp/erlang-otp,lemenkov/otp,benoitc/otp-1,marquisthunder/otp,mujiatong/otp,RaimoNiskanen/otp,palas/otp,lianghaivv/otp,RGafiyatullin/otp,ahmedshafeeq/otp,Teino1978-Corp/erlang-otp,johanclaesson/otp,GinjaNinja32/otp,beni55/otp,benoitc/otp-1,jamesruan/otp,jj1bdx/otp,VincentHHL/otp,emile/otp,awetzel/otp,RichMorin/otp,legoscia/otp,johanclaesson/otp,sdebnath/otp,aboroska/otp,bugs-erlang-org/otp,bsmr-erlang/otp,enikki/otp,enikki/otp,haguenau/otp,cobusc/otp,bugs-erlang-org/otp,mikpe/otp,neeraj9/otp,benoitc/otp-1,electricimp/otp,sitexa/otp,vic/otp,lantti/otp,uabboli/otp,sammoth-wazoku/otp,weisslj/otp,potatosalad/otp,RoadRunnr/otp,dumbbell/otp,jamesruan/otp,klarna/otp,platinumthinker/otp,cobusc/otp,erlang/otp,dgud/otp,lemenkov/otp,Teino1978-Corp/erlang-otp,klarna/otp,lhslll/otp,derek121/otp,dumbbell/otp,GinjaNinja32/otp,beni55/otp,tuncer/otp,msantos/otp,saleyn/otp,gjaldon/otp,RGafiyatullin/otp,dumbbell/otp,aboroska/otp,getong/otp,riverrun/otp,derek121/otp,kvakvs/otp,psyeugenic/otp,emile/otp,jinshana/otp,msantos/otp,jj1bdx/otp,schlagert/otp,lrascao/otp,RGafiyatullin/otp,riverrun/otp,bernardd/otp,RaimoNiskanen/otp,goertzenator/otp,johanclaesson/otp,ferd/otp,falkevik/otp,vic/otp,NOMORECOFFEE/otp,rlipscombe/otp,jemsbhai/otp,riverrun/otp,lightcyphers/otp,cnbin/otp,VincentHHL/otp,electricimp/otp,mikpe/otp,getong/otp,paladim/otp,c-rack/otp,falkevik/otp,hairyhum/otp,saleyn/otp,RichMorin/otp,NOMORECOFFEE/otp,stolen/otp,lianghaivv/otp,paulcager/otp,rlipscombe/otp,bugs-erlang-org/otp,potatosalad/otp,tuncer/otp,mikpe/otp,enikki/otp,schlagert/otp,lightcyphers/otp,vinoski/otp,neeraj9/otp,c-rack/otp,sammoth-wazoku/otp,isvilen/otp,lucafavatella/otp,uabboli/otp,vladdu/otp,riverrun/otp,basho/otp,lrascao/otp,bugs-erlang-org/otp,sdebnath/otp,mujiatong/otp,lianghaivv/otp,sitexa/otp,beni55/otp,vladdu/otp,rlipscombe/otp,vladdu/otp,NOMORECOFFEE/otp,jamesruan/otp,RoadRunnr/otp,RaimoNiskanen/otp,lucafavatella/otp,bsmr-erlang/otp,potatosalad/otp,aboroska/otp,lhslll/otp,goertzenator/otp,emacsmirror/erlang,krishnakumar4a4/otp,sammoth-wazoku/otp,haguenau/otp,entropiae/otp,hairyhum/otp,isvilen/otp,basho/otp,beni55/otp,ferd/otp,dgud/otp,RoadRunnr/otp,platinumthinker/otp,fenollp/otp,bsmr-erlang/otp,palas/otp,getong/otp,hairyhum/otp,ferd/otp,jinshana/otp,derek121/otp,saleyn/otp,massemanet/otp,isvilen/otp,Teino1978-Corp/erlang-otp,marquisthunder/otp,c-rack/otp,lemenkov/otp,emacsmirror/erlang,dgud/otp,bjorng/otp,getong/otp,vinoski/otp,Teino1978-Corp/otp,fenollp/otp,theom/otp,jj1bdx/otp,bernardd/otp,bernardd/otp,fenollp/otp,neeraj9/otp,ader1990/otp,krishnakumar4a4/otp,msantos/otp,VincentHHL/otp,riverrun/otp,potatosalad/otp,yangchengjian/otp,kvakvs/otp,emacsmirror/erlang,jj1bdx/otp,palas/otp,emile/otp,krishnakumar4a4/otp,sdebnath/otp,ader1990/otp,dumbbell/otp,RaimoNiskanen/otp,bernardd/otp,ahmedshafeeq/otp,stolen/otp,ader1990/otp,bugs-erlang-org/otp,stolen/otp,massemanet/otp,RaimoNiskanen/otp,krishnakumar4a4/otp,release-project/otp,lemenkov/otp,emacsmirror/erlang,jj1bdx/otp,derek121/otp,weisslj/otp,bsmr-erlang/otp,jinshana/otp,weisslj/otp,g-andrade/otp,ahmedshafeeq/otp,jamesruan/otp,RoadRunnr/otp,goertzenator/otp,cnbin/otp,psyeugenic/otp,awetzel/otp,legoscia/otp,jemsbhai/otp,hairyhum/otp,psyeugenic/otp,awetzel/otp,legoscia/otp,psyeugenic/otp,bugs-erlang-org/otp,lrascao/otp,matwey/otp,falkevik/otp,electricimp/otp,saleyn/otp,lightcyphers/otp,cnbin/otp,haguenau/otp,platinumthinker/otp,lhslll/otp,RichMorin/otp,sitexa/otp,emile/otp,dumbbell/otp,lemenkov/otp,fenollp/otp,yangchengjian/otp,sammoth-wazoku/otp,kvakvs/otp,weisslj/otp,klarna/otp,benoitc/otp-1,VincentHHL/otp,RaimoNiskanen/otp,emacsmirror/erlang,vinoski/otp,mujiatong/otp,cobusc/otp,release-project/otp,vic/otp,matwey/otp,ferd/otp,release-project/otp,massemanet/otp,vladdu/otp,bjorng/otp,schlagert/otp,Teino1978-Corp/otp,fenollp/otp,weisslj/otp,lemenkov/otp,hairyhum/otp,vladdu/otp,lightcyphers/otp,stolen/otp,legoscia/otp,platinumthinker/otp,marquisthunder/otp,aboroska/otp,lantti/otp,g-andrade/otp,Teino1978-Corp/erlang-otp,matwey/otp,benoitc/otp-1,jinshana/otp,lrascao/otp,marquisthunder/otp,krishnakumar4a4/otp,vic/otp,dgud/otp,GinjaNinja32/otp,RGafiyatullin/otp,potatosalad/otp,massemanet/otp,cnbin/otp,vinoski/otp,sdebnath/otp,emile/otp,yangchengjian/otp,electricimp/otp,electricimp/otp,Teino1978-Corp/otp,entropiae/otp,schlagert/otp,bsmr-erlang/otp,vinoski/otp,falkevik/otp,stolen/otp,jemsbhai/otp,emacsmirror/erlang,jemsbhai/otp,enikki/otp,theom/otp,NOMORECOFFEE/otp,lhslll/otp,hairyhum/otp,entropiae/otp,g-andrade/otp,RoadRunnr/otp,Teino1978-Corp/erlang-otp,gjaldon/otp,benoitc/otp-1,krishnakumar4a4/otp,RoadRunnr/otp,Teino1978-Corp/erlang-otp,mujiatong/otp,ferd/otp,falkevik/otp,ader1990/otp,uabboli/otp,electricimp/otp,palas/otp,jj1bdx/otp,lightcyphers/otp,RichMorin/otp,g-andrade/otp,erlang/otp,vic/otp,jinshana/otp,marquisthunder/otp,msantos/otp,basho/otp,getong/otp,lantti/otp,aboroska/otp,lightcyphers/otp,paulcager/otp,ahmedshafeeq/otp,erlang/otp,legoscia/otp,emacsmirror/erlang,bjorng/otp,kvakvs/otp,paladim/otp,msantos/otp,goertzenator/otp,platinumthinker/otp,GinjaNinja32/otp,sdebnath/otp,Teino1978-Corp/otp,RaimoNiskanen/otp,paladim/otp,RJ/otp,dgud/otp,massemanet/otp,vic/otp,RaimoNiskanen/otp,klarna/otp,RaimoNiskanen/otp,aboroska/otp,stolen/otp,matwey/otp,neeraj9/otp,mujiatong/otp,weisslj/otp,kvakvs/otp,hairyhum/otp,lucafavatella/otp,sitexa/otp,sdebnath/otp,cnbin/otp,theom/otp,awetzel/otp,dgud/otp,VincentHHL/otp,riverrun/otp,vladdu/otp,sdebnath/otp,bjorng/otp,lucafavatella/otp,NOMORECOFFEE/otp,gjaldon/otp,erlang/otp,paulcager/otp,massemanet/otp,electricimp/otp,haguenau/otp,rlipscombe/otp,jinshana/otp,legoscia/otp,lhslll/otp,entropiae/otp,benoitc/otp-1,ahmedshafeeq/otp,RGafiyatullin/otp,dgud/otp,RJ/otp,mikpe/otp,VincentHHL/otp,enikki/otp,derek121/otp,klarna/otp,ferd/otp,GinjaNinja32/otp,bernardd/otp,lightcyphers/otp,dumbbell/otp,RJ/otp,jamesruan/otp,RGafiyatullin/otp,jj1bdx/otp,goertzenator/otp,enikki/otp,palas/otp,haguenau/otp,bjorng/otp,ahmedshafeeq/otp,Teino1978-Corp/erlang-otp,jamesruan/otp,basho/otp,isvilen/otp,VincentHHL/otp,vladdu/otp,platinumthinker/otp,lianghaivv/otp,Teino1978-Corp/otp,msantos/otp,sammoth-wazoku/otp,jamesruan/otp,lianghaivv/otp,rlipscombe/otp,bjorng/otp,theom/otp,goertzenator/otp,c-rack/otp,massemanet/otp,gjaldon/otp,ferd/otp,RGafiyatullin/otp,bsmr-erlang/otp,psyeugenic/otp,uabboli/otp,gjaldon/otp,vic/otp,psyeugenic/otp,dgud/otp,NOMORECOFFEE/otp,potatosalad/otp,yangchengjian/otp,tuncer/otp,g-andrade/otp,dgud/otp,jj1bdx/otp,rlipscombe/otp,marquisthunder/otp,ahmedshafeeq/otp,tuncer/otp,yangchengjian/otp,ader1990/otp,fenollp/otp,beni55/otp,uabboli/otp,goertzenator/otp,emacsmirror/erlang,paladim/otp,fenollp/otp,matwey/otp,lantti/otp,dumbbell/otp,ahmedshafeeq/otp,dumbbell/otp,aboroska/otp,basho/otp,g-andrade/otp,mujiatong/otp,jinshana/otp,lrascao/otp,cobusc/otp,neeraj9/otp,vinoski/otp,bugs-erlang-org/otp,paladim/otp,msantos/otp,lucafavatella/otp,electricimp/otp,bjorng/otp,emile/otp,vladdu/otp,isvilen/otp,lemenkov/otp,psyeugenic/otp,saleyn/otp,lemenkov/otp,emile/otp,jinshana/otp,mikpe/otp,derek121/otp,lianghaivv/otp,NOMORECOFFEE/otp,Teino1978-Corp/otp,GinjaNinja32/otp,uabboli/otp,bernardd/otp,dumbbell/otp,RJ/otp,tuncer/otp,sdebnath/otp,potatosalad/otp,release-project/otp,msantos/otp,cobusc/otp,mikpe/otp,basho/otp,emile/otp,GinjaNinja32/otp,palas/otp,weisslj/otp,release-project/otp,yangchengjian/otp,erlang/otp,jemsbhai/otp,lianghaivv/otp,beni55/otp,RGafiyatullin/otp,awetzel/otp,RoadRunnr/otp,stolen/otp,enikki/otp,saleyn/otp,ferd/otp,ader1990/otp,bernardd/otp,schlagert/otp,sammoth-wazoku/otp,potatosalad/otp,lhslll/otp,palas/otp,bjorng/otp,lucafavatella/otp,beni55/otp,marquisthunder/otp,benoitc/otp-1,erlang/otp,massemanet/otp,paulcager/otp,gjaldon/otp,beni55/otp,c-rack/otp,basho/otp,neeraj9/otp,lightcyphers/otp,tuncer/otp,jamesruan/otp,rlipscombe/otp,jj1bdx/otp,entropiae/otp,johanclaesson/otp,kvakvs/otp,vladdu/otp,VincentHHL/otp