[GAZPREA] [RFC] 2024/25 - Simplify Compile Time v.s Runtime Size Errors

[JustinMeimar]

Several teams expressed frustrations towards the compile time v.s runtime SizeError delimitation. The strategy of the spec currently is to have all size errors throw at runtime, then define 5 simple cases where compile time errors can be thrown instead. Teams that built more powerful size checking infrastructure actually had to downgrade their compilers to comply with the specification.

TODO: Outline solution