Add back license header to invariant
Merge pull request #826 from spicyj/invariant-license

Add back license header to invariant