Fix the bitcode reader to deserialize nuw/nsw/etc. bits properly in the case