Refactor branch / select sign checks from rshift to cmp with zero

[MaxGraey]

Motivation:

Right shifts makes sense mostly for single expressions or complex conditions. While single if (x < 0) or select(..., x < 0) usually fused to single instruction js / jns / cmovs / cmovns on wasm engines

• [x] I've read the contributing guidelines
• [x] I've added my name and email to the NOTICE file