Make the variant_nonempty_check check variant behavior on different internal policies: with/without fallback type + throw/nothrow copyable + throw/nothrow movable