Adding a test for the AVX folding.
Code not modified, just some reordering of the includes.