Optimize for performance
Removed max_expr_complexity
Optimize (a >> c1) == c2
tests.py: Use OPT_Os by default