Make asserts on type sizes static