[jit] Fix signed division by power of 2 optimization.

Add more division tests.
[jit] Move optimizations from cprop to decompose.

Moved optimizations for signed division by power of two and unsigned division and remainder by power of two.
[jit] Replace unsigned division by constants with multiplication, additions and shifts for better performance.
[jit] Replace signed division by constants with multiplication, additions and shifts for better performance.
Add random division test for constant division.