Introduce a type for "platform word size", use it instead of Int

We introduce a PlatformWordSize type and use it in platformWordSize field.

This removes to panic/error calls called when platform word size is not 32 or 64. We now check for this when reading the platform config.