#19 no bound check when setting intbv bit

[Jan Decaluwe]

A long-standing bug - when a bit is set of an intbv,
the resulting value is not checked against the intbv
bounds.

[Jan Decaluwe]

Logged In: YES
user_id=144795
Originator: YES

Fixed in 0.6dev6.