Added the 'range' option to wyopcl command to analyze the bounds using
the widening operator. The 'range' option can specify the widen strategy
(naive or gradual) to converge the fixedpoint faster.