Throw exceptions on specified assignment numer N in variant_nonempty_check and make tests run on a multiple different Ns