added test checking shl with random tests (fails in some cases)
now have precise Shift-Left (one more test is failing, but I commit it anyway)
increased "Iterations before widening" from 5 to 6, which made one more test pass.