Fixed if statement in bitshift simplification. Added tests to check correctness of bitshift simplifies.