Do not use Adc/Sbb in 64-bit lowering if the lower half will not overflow.
Optimize 64-bit Add/Sub which will certainly carry.
Declare that constbit analysis requires consistent dominance.
Clear constbits information after 64-bit lowering.