Fixed wrong mode.
fix tarval_true/tarval_false having too few bytes allocated
rework/add mode_is_int asserts to tarval_sh{l,r,rs}_unsigned
do not create blocks without inputs
verify_cf: all blocks must be mature and have at least 1 preds (except start/end block)
Assure no unreachable code before removing Bads.

This fixes opt/fehler273.c.
Move Proj nodes to the block of their operands.

This fixes opt/fehler268.c and opt/fehler272.c.