Constant OQS_ENABLE_SIG_falcon_padded_512_avx2

pub const OQS_ENABLE_SIG_falcon_padded_512_avx2: u32 = 1;