Transform invariant/invariant_violation

Summary: These two toplevel functions need to be given the correct name
when transformed.

Reviewed By: @int3

Differential Revision: D1729613

Signature: t1:1729613:1418213468:23186b9476b00e0fd6ffb11a3055c7499553b7a8