assert half assumptions

[cary-ilm]

add static_assert to validate the assumptions of half:

/// * sizeof (float) == 4 /// * sizeof (unsigned int) == sizeof (float) /// * alignof (unsigned int) == alignof (float) /// * sizeof (unsigned short) == 2

And replace the int type with uintN_t