Deprecate internal "invariant" in favor of "outvariant"

[Artem Zakharchenko]

We should use outvariant as a type-safe flexible alternative for the internal invariant. That'd allow us to write invariant messages in a more template-like format since outvariant supports positionals.