The proposal currently describes trying to find the maximum size used (by a type at least). The goal is to reduce the needed bounds checks. Is there a better way to set the minimum binding size?

This will impact bindless too, but be harder to set a requirement for.