Made leaf::validate work with both versions.
Made some CT_ASSERTs be static_asserts.
Implemented leaf::is_empty for both.