Bug fixes to BitVec Bits instance def.