Fixed some old tests to represent actions of large arity terms (some tests succeed now, rather than throwing erors)
and added a couple of new ones.
Authored by: tswift 2017-01-02
Parent: [r8948]
Child: [r8950]