[DO NOT MERGE] Add ctfe AA tests

This PR depends on new AA implementation:
#3904, D-Programming-Language/druntime#934 et c.

It should demonstrate new AA opportunities for reviewers.