lib: Add 'word_bitwise_signed' tactic.

Works like 'word_bitwise' but on signed words.
lib: misc masking lemma.