unique_ptr axioms in Ir Containers

[mdavis36]

  std::vector<Val*> axioms_;

unique_ptr can usually be avoided for STL containers which have good move operators.

Originally posted by @wujingyue in #5865 (comment)