Make some static_assert()s that have been TODO for a while.