extended compile-time evaluation of in/2 with integer in ground L..U range

Example, previously:

   %?- N=500000, time((between(1,N,_), 3 in 1..10,false)).
   %@ % 1,000,003 inferences, 0.162 CPU in 0.163 seconds (100% CPU, 6158223 Lips)
   %@ false.

Now:

   %?- N=500000, time((between(1,N,_), 3 in 1..10,false)).
   %@ % 500,001 inferences, 0.087 CPU in 0.088 seconds (100% CPU, 5723717 Lips)
   %@ false.