We have many estimate constants defined in code which can't can marked as constexpr because their constructor invokes assertValid which invokes tassert which is not allowed in constexpr context. Maybe we could have a constexpr constructor which uses static_assert or similar to verify the estimate is valid rather than tassert.