Tests correct edge-case handling saturated arithmetic for layout sizes. Passes if no crash.