[PATCH vkd3d 2/4] vkd3d: Introduce d3d12_box_is_empty().