Add P6bigint.deserialize_stable_size.