Thanks. I don't think these are so much incorrect assumptions so much as things we should change if the world changes.
19-digit IINs are found on UnionPay, Maestro, and other international cards that Stripe doesn't support today. We might add support for them in the future.
As to the others (e.g. American Express cards with more than 15 digits): we'll certainly add support if this changes.