Open
Description
We already typecheck resulting RBIs to convert strictness to false:
Similarly if we run into a superclass redefinition error we can populate sorbet/config
with --suppress-payload-superclass-redefinition-for=ConstantName
to prevent typecheck errors.
We probably will want to update the payload as well so this should still inform the user about the mismatch that's happening instead of fixing it silently.