Add a check macro that generates a compile-time error if the given expression is not `constexpr`

[cschreib]

See https://github.com/cschreib/snitch/issues/60#issuecomment-1474863574.

Use case:

CHECK_IS_CONSTEXPR(constexpr_vector{10}.clear());

Issues:

• CHECK_IS_CONSTEXPR is confusingly close to CONSTEXPR_CHECK.
• CHECK_IS_CONSTEXPR vs REQUIRE_IS_CONSTEXPR? It's a compile-time check, so there can't be a difference between the two, yet it would feel imbalanced to have just one. Define both to be the same?

Proposed implementation:

#define SNITCH_CHECK_IS_CONSTEXPR(...)                                                             \
    do {                                                                                           \
        auto& SNITCH_CURRENT_TEST = snitch::impl::get_current_test();                              \
        ++SNITCH_CURRENT_TEST.asserts;                                                             \
        SNITCH_WARNING_PUSH                                                                        \
        SNITCH_WARNING_DISABLE_PARENTHESES                                                         \
        SNITCH_WARNING_DISABLE_CONSTANT_COMPARISON                                                 \
        static_assert(((__VA_ARGS__), true));                                                      \
        SNITCH_WARNING_POP                                                                         \
    } while (0)

#define SNITCH_REQUIRE_IS_CONSTEXPR(...)                                                           \
    do {                                                                                           \
        auto& SNITCH_CURRENT_TEST = snitch::impl::get_current_test();                              \
        ++SNITCH_CURRENT_TEST.asserts;                                                             \
        SNITCH_WARNING_PUSH                                                                        \
        SNITCH_WARNING_DISABLE_PARENTHESES                                                         \
        SNITCH_WARNING_DISABLE_CONSTANT_COMPARISON                                                 \
        static_assert(((__VA_ARGS__), true));                                                      \
        SNITCH_WARNING_POP                                                                         \
    } while (0)