[tz] [PROPOSED 2/2] Move static_assert to top level