[aa_inplace_vector] Copying/moving an Alloc is not allowed to throw

The Standard specifies in [allocator.requirements.general] that copy
and move operations on allocators never throw, regardless of whether
they're marked noexcept or not. And in fact `boost::interprocess::allocator`
does not mark its SMFs as noexcept. So we shouldn't check the trait
here; instead we should assume that the operations are non-throwing.

include/sg14/aa_inplace_vector.h

@@ -397,13 +397,11 @@ struct SG14_INPLACE_VECTOR_TRIVIALLY_RELOCATABLE_IF((sg14::aaipv::be_trivially_r
     static constexpr bool CopyCtorIsNoexcept =
         ((std::is_nothrow_copy_constructible_v<T> &&
           sg14::aaipv::has_trivial_construct<Alloc, T, const T&>::value) || (N == 0)) &&
-        sg14::aaipv::propagate_on_container_copy_construction<Alloc>::value &&
-        std::is_nothrow_copy_constructible_v<sg14::ipv_alloc_holder<Alloc>>;
+        sg14::aaipv::propagate_on_container_copy_construction<Alloc>::value;
 
     static constexpr bool MoveCtorIsNoexcept =
         ((std::is_nothrow_move_constructible_v<T> &&
-          sg14::aaipv::has_trivial_construct<Alloc, T, T&&>::value) || (N == 0)) &&
-        std::is_nothrow_move_constructible_v<sg14::ipv_alloc_holder<Alloc>>;
+          sg14::aaipv::has_trivial_construct<Alloc, T, T&&>::value) || (N == 0));
 
     // Copy-assignment follows the Lakos Rule: if the precondition might be violated, then it's not noexcept.
     //